132 search results - page 1 / 27 » Process Equivalences as Global Bisimulations |
JUCS
2006
13 years 4 months ago
2006
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...
TCS
1998
13 years 4 months ago
1998
We prove that bisimulation equivalence is decidable for normed pushdown processes.
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
ICALP
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this pa...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of s...