Structural Operational Semantics (1999)

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

Documents Related by Co-Citation

196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
364 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984
109 A Congruence Theorem for Structured Operational Semantics With Predicates – J.C.M. Baeten, C. Verhoef - 1993
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
155 Termination in Timed Process Algebra – J.C.M. Baeten, M.A. Reniers - 2000
658 Concurrency and automata on infinite sequences – D Park - 1981
3219 Communication and Concurrency – R Milner - 1990
14 An alternative formulation of operational conservativity with binding terms – C A Middelburg
32 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
116 Transition system specifications with negative premises – J F Groote - 1993
108 The Algebra of Timed Processes ATP: Theory and Application – Xavier Nicollin , Joseph Sifakis - 1994
36 A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages – Karen L. Bernstein - 1997
1330 A Calculus of Communicating Systems – R Milner - 1980
189 Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 – J F Groote, F Vaandrager - 1992
290 The Linear Time-Branching Time Spectrum II - The semantics of sequential systems with silent moves – R.J. van Glabbeek - 1993
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
89 Turning SOS Rules into Equations – Luca Aceto, Bard Bloom, Frits Vaandrager - 1994
495 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985