Weak Bisimulation Up to Elaboration

CONCUR 2006 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/11817949_26 ◽

2006 ◽

pp. 390-405 ◽

Cited By ~ 6

Author(s):

Damien Pous

Keyword(s):

Weak Bisimulation

Download Full-text

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

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49059-0_21 ◽

1999 ◽

pp. 300-314 ◽

Cited By ~ 9

Author(s):

Zhoujun Li ◽

Huowang Chen

Keyword(s):

Weak Bisimulation

Download Full-text

A theory of weak bisimulation for core CML

ACM SIGPLAN Notices ◽

10.1145/232629.232649 ◽

1996 ◽

Vol 31 (6) ◽

pp. 201-212 ◽

Cited By ~ 2

Author(s):

William Ferreira ◽

Matthew Hennessy ◽

Alan Jeffrey

Keyword(s):

Weak Bisimulation

Download Full-text

Weak bisimulation and open maps

Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158) ◽

10.1109/lics.1999.782590 ◽

2003 ◽

Cited By ~ 7

Author(s):

M. Fiore ◽

G.L. Cattani ◽

G. Winskel

Keyword(s):

Weak Bisimulation ◽

Open Maps

Download Full-text

Weak Bisimulation for Action-Type Coalgebras

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2004.06.050 ◽

2005 ◽

Vol 122 ◽

pp. 211-228 ◽

Cited By ~ 6

Author(s):

Ana Sokolova ◽

Erik de Vink ◽

Harald Woracek

Keyword(s):

Weak Bisimulation ◽

Action Type

Download Full-text

Unique parallel decomposition in branching and weak bisimulation semantics

Theoretical Computer Science ◽

10.1016/j.tcs.2015.10.013 ◽

2016 ◽

Vol 612 ◽

pp. 29-44 ◽

Cited By ~ 3

Author(s):

Bas Luttik

Keyword(s):

Parallel Decomposition ◽

Weak Bisimulation

Download Full-text

Deciding probabilistic automata weak bisimulation: theory and practice

Formal Aspects of Computing ◽

10.1007/s00165-016-0356-4 ◽

2016 ◽

Vol 28 (1) ◽

pp. 109-143 ◽

Cited By ~ 6

Author(s):

Luis María Ferrer Fioriti ◽

Vahid Hashemi ◽

Holger Hermanns ◽

Andrea Turrini

Keyword(s):

Theory And Practice ◽

Probabilistic Automata ◽

Weak Bisimulation

Download Full-text

Weak Bisimulation Approximants

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/11874683_24 ◽

2006 ◽

pp. 365-379 ◽

Cited By ~ 6

Author(s):

Will Harwood ◽

Faron Moller ◽

Anton Setzer

Keyword(s):

Weak Bisimulation

Download Full-text

Coalgebraic Weak Bisimulation from Recursive Equations over Monads

Automata, Languages, and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43951-7_17 ◽

2014 ◽

pp. 196-207 ◽

Cited By ~ 1

Author(s):

Sergey Goncharov ◽

Dirk Pattinson

Keyword(s):

Weak Bisimulation ◽

Recursive Equations

Download Full-text

Weak bisimulation and model checking for Basic Parallel Processes

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-62034-6_40 ◽

1996 ◽

pp. 88-99 ◽

Cited By ~ 12

Author(s):

Richard Mayr

Keyword(s):

Model Checking ◽

Parallel Processes ◽

Weak Bisimulation

Download Full-text

Approximating Weak Bisimulation on Basic Process Algebras

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1999 ◽

10.1007/3-540-48340-3_33 ◽

1999 ◽

pp. 366-375 ◽

Cited By ~ 2

Author(s):

Jitka Stříbrná

Keyword(s):

Basic Process ◽

Process Algebras ◽

Weak Bisimulation

Download Full-text