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 …

When dealing with service oriented computations the dependencies among the various
distributed activities may be complex and difficult to represent statically. Recently Event …

Event structures are one of the classical models of concurrent systems. The idea is that an
enabling X⊢ e represents the fact that the event e can only occur after all the events in the …

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 …

We study compliance relations between behavioural contracts in a syntax independent
setting based on Labelled Transition Systems. We introduce a fixed-point based family of …

Event structures where the causality may explicitly change during a computation have
recently gained the stage. In this kind of event structures the changes in the set of the causes …

We introduce a basic model for contracts. Our model extends event structures with a new
relation, which faithfully captures the circular dependencies among contract clauses. We …

In a mobile system, mobility refers to a change in position of a mobile object with respect to
time and its reference point, whereas isolation means the isolation relationship between …

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 …