Notions of bisimulation and congruence formats

Notions of bisimulation and congruence formats (2004)

Cached

by Mohammad Reza Mousavi , Michel A. Reniers , Jan Friso Groote

BibTeX

@MISC{Mousavi04notionsof,
    author = {Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote},
    title = {Notions of bisimulation and congruence formats},
    year = {2004}
}

Bookmark

OpenURL

Abstract

for SOS with data �

Citations

1225	A calculus of communicating systems - Milner - 1980
1182	A structural approach to operational semantics - Plotkin - 1981
599	Concurrency and automata on infinite sequences - Park - 1981
279	Universal coalgebra: a theory of systems - Rutten - 2000
183	Structured operational semantics and bisimulation as a congruence - Groote, Vaandrager - 1992
169	Bisimulation Can’t Be Traced - Bloom, Istrael, et al. - 1995
122	G.: Towards a mathematical operational semantics - Turi, Plotkin - 1997
107	Transition System Specification with Negative Premises - Groote - 1990
103	A congruence theorem for structured operational semantics with predicates - Baeten, Verhoef - 1993
102	Structural operational semantics - Aceto, Fokkink, et al.
77	F.: Turning SOS rules into equations - Aceto, Bloom, et al. - 1994
57	The origins of structural operational semantics - Plotkin - 2004
54	Ntyft/ntyxt rules reduce to ntree rules - Fokkink, Glabbeek - 1995
44	Plain CHOCS, a second generation calculus for higher-order processes - Thomsen - 1993
35	The meaning of negative premises in transition system specifications II - Glabbeek - 1995
34	A congruence theorem for structured operational semantics of higher-order languages - Bernstein - 1998
28	Higher level synchronization devices - Simone - 1985
26	The syntax and semantics of timed CRL - Groote - 1997
25	Reniers. Hybrid process algebra - Cuijpers, A
23	Process algebra for hybrid systems - Bergstra, Middleburg - 2005
19	Variable binding operators in transition system specifications - Middelburg - 2001
19	Bisimilarity of open terms - Rensink - 2000
13	Axiomatizing GSOS with termination - Baeten, Vink - 2004
13	On the expressiveness of Linda-like concurrent languages - Brogi, Jacquet
11	Separating Computation and Coordination in the Design of Parallel and Distributed Programs - Chaudron - 1998
10	Process Algebra with Timing. EATCS Monographs - Baeten, Middelburg - 2002
9	Congruence for SOS with data - Mousavi, Reniers, et al. - 2004
8	On timed coordination languages - Jacquet, Bosschere, et al. - 2000
7	A.: Process algebra with guards. Combining Hoare logic with process algebra. Formal Aspects of Computing 6 - Groote, Ponse - 1994
5	Separating functionality, behavior and timing in the design of reactive systems: (GAMMA + coordination) + time - Mousavi, Basten, et al. - 2002
4	A behavioural theory of first-order CML - Ferreira, Hennessy - 1999
3	rule formats for parameterized and state-bearing processes (draft), unpublished note. Available from - Bloom, Vaandrager, et al.
3	Action and predicate safety of hybrid processes - Cuijpers, Reniers - 2004
2	Redesign of a systems engineering language––formalisation of χ, Formal Aspects of Computing 15 - Bos, Kleijn - 2003
1	de Vink, Control flow semantics, in: Foundations of Computing series - Bakker, P - 1996
1	Functorial operational semanticsand its denotational dual - Turi