CONCUR
1995
Springer
13 years 8 months ago
1995
Springer
CONCUR
1995
Springer
13 years 8 months ago
1995
Springer
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
CONCUR
1995
Springer
13 years 8 months ago
1995
Springer
CONCUR
1995
Springer
13 years 8 months ago
1995
Springer
We provide a category theoretic reformulation of control structures, which avoids explicit reference to names. The basis of the formulation is what we call a binding structure, wh...
CONCUR
1995
Springer
13 years 8 months ago
1995
Springer
We develop a theory of bisimulation equivalence for the broadcast calculus CBS. Both the strong and weak versions of bisimulation congruence we study are justi ed in terms of a cha...
CONCUR
1995
Springer
13 years 8 months ago
1995
Springer