Abstract We study Lending Petri nets, an extension of Petri nets where places may carry a
negative number of tokens. This allows for modeling contracts where a participant may …

We present a theory of contracts. Contracts are interacting processes with an explicit notion
of obligations and objectives. We model processes and their obligations as event structures …

Smart contracts are currently en vogue, thanks to the infrastructure provided by the
blockchain technology. However, their effective use requires that the textual (legalese) …

Causality is often interpreted as establishing dependencies between events. The standard
view is that an event b causally depends on an event a if, whenever b occurs, then a has …

Choreography-based approaches to service composition typically assume that, after a set of
services has been found which correctly play the roles prescribed by the choreography …

Contracts are formal promises on the future interactions of participants, which describe the
causal dependencies among their actions. An inherent feature of contracts is that such …

Contract agreements via logic Page 1 M. Carbone, I. Lanese, A. Lluch-Lafuente, A. Sokolova
(Eds.): 6th Interaction and Concurrency Experience (ICE 2013) EPTCS 131, 2013, pp. 5–19 …

In this thesis we propose a theory of contracts. Contracts are modelled as interacting
processes with an explicit association of obligations and objectives. Obligations are …