Sciweavers

CSL
2006
Springer

Weak Bisimulation Approximants

14 years 2 months ago
Weak Bisimulation Approximants
Abstract. Bisimilarity and weak bisimilarity are canonical notions of equivalence between processes, which are defined co-inductively, but may be approached
Will Harwood, Faron Moller, Anton Setzer
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where CSL
Authors Will Harwood, Faron Moller, Anton Setzer
Comments (0)