scholarly journals Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes

1999 ◽  
pp. 300-314 ◽  
Author(s):  
Zhoujun Li ◽  
Huowang Chen
Keyword(s):  
Weak Bisimulation

A theory of weak bisimulation for core CML

1996 ◽  
Vol 31 (6) ◽  
pp. 201-212 ◽  
Author(s):  
William Ferreira ◽  
Matthew Hennessy ◽  
Alan Jeffrey
Keyword(s):  
Weak Bisimulation

scholarly journals Weak Bisimulation for Action-Type Coalgebras

2005 ◽  
Vol 122 ◽  
pp. 211-228 ◽  
Author(s):  
Ana Sokolova ◽  
Erik de Vink ◽  
Harald Woracek
Keyword(s):  
Weak Bisimulation ◽  
Action Type

Deciding probabilistic automata weak bisimulation: theory and practice

2016 ◽  
Vol 28 (1) ◽  
pp. 109-143 ◽  
Author(s):  
Luis María Ferrer Fioriti ◽  
Vahid Hashemi ◽  
Holger Hermanns ◽  
Andrea Turrini
Keyword(s):  
Theory And Practice ◽  
Probabilistic Automata ◽  
Weak Bisimulation

scholarly journals Weak Bisimulation Approximants

2006 ◽  
pp. 365-379 ◽  
Author(s):  
Will Harwood ◽  
Faron Moller ◽  
Anton Setzer
Keyword(s):  
Weak Bisimulation
Sign in / Sign up

Export Citation Format

Share Document