20 search results - page 1 / 4 » Weak Bisimulation and Open Maps |
LICS
1999
IEEE
13 years 9 months ago
1999
IEEE
QEST
2007
IEEE
13 years 11 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...
ENTCS
2006
13 years 4 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 (...
CONCUR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
MFCS
1998
Springer
13 years 9 months ago
1998
Springer