Structural Operational Semantics (1999)

by Luca Aceto , Wan Fokkink , Chris Verhoef
Venue:Handbook of Process Algebra
Citations:121 - 18 self

Documents Related by Co-Citation

194 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
1286 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
360 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984
3204 Communication and Concurrency – R Milner - 1989
3400 Communicating Sequential Processes – C. A. R. Hoare - 1985
108 A Congruence Theorem for Structured Operational Semantics With Predicates – J.C.M. Baeten, C. Verhoef - 1993
155 Termination in Timed Process Algebra – J.C.M. Baeten, M.A. Reniers - 2000
655 Concurrency and automata on infinite sequences – D Park - 1981
105 The Algebra of Timed Processes ATP: Theory and Application – Xavier Nicollin , Joseph Sifakis - 1994
14 An alternative formulation of operational conservativity with binding terms – C A Middelburg
36 A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages – Karen L. Bernstein - 1997
1329 A calculus of communicating systems – R Milner - 1980
31 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
87 Turning SOS Rules into Equations – Luca Aceto, Bard Bloom, Frits Vaandrager - 1994
189 Structured operational semantics and bisimulation as a congruence – J F Groote, F W Vaandrager - 1992
115 Transition system specifications with negative premises – J F Groote - 1993
493 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
403 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989