On Temporal Regulations and Commitment Protocols

Temporal regulations are needed to express commitments The proposal of Elisa Marengo's thesis is to extend to achieve something and in a specified order. For commitment protocols in order to (i) allow for expressing instance, an insurance company commits to paying an innetwork commitments to temporal regulations, and surgeon for a procedure only after a covered patient (ii) to supply a tool for expressing laws, conventions has undergone the procedure. Patterns of interaction, instead, and the like, in order to specify legal interactions.