23 search results - page 2 / 5 » A Characterisation of Weak Bisimulation Congruence |
CONCUR
1995
Springer
13 years 9 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
2005
Springer
13 years 11 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
ICTAC
2005
Springer
13 years 11 months ago
2005
Springer
ICALP
1998
Springer
13 years 9 months ago
1998
Springer
ICALP
1998
Springer
13 years 9 months ago
1998
Springer
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi's definition of weak barbed bisim...