132 search results - page 4 / 27 » Process Equivalences as Global Bisimulations |
ICALP
1997
Springer
14 years 1 days ago
1997
Springer
CONCUR
1992
Springer
13 years 12 months ago
1992
Springer
IANDC
2010
13 years 6 months ago
2010
ENTCS
2006
13 years 7 months ago
2006
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...