23 search results - page 2 / 5 » A Characterisation of Weak Bisimulation Congruence |
CONCUR
1995
Springer
15 years 1 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
15 years 3 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
15 years 3 months ago
2005
Springer
ICALP
1998
Springer
15 years 1 months ago
1998
Springer
ICALP
1998
Springer
15 years 1 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...