Towards a Mathematical Operational Semantics (1997)

by Daniele Turi , Gordon Plotkin
Venue:In Proc. 12 th LICS Conf
Citations:134 - 9 self

Documents Related by Co-Citation

1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
53 Functorial Operational Semantics and its Denotational Dual – D Turi - 1996
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
3219 Communication and Concurrency – R Milner - 1990
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
315 Functions as processes – R Milner - 1990
163 An abstract view of programming languages – E Moggi - 1989
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
658 Concurrency and automata on infinite sequences – D Park - 1981
1330 A Calculus of Communicating Systems – R Milner - 1980
150 Elements of Interaction – Robin Milner - 1993
62 Global/local subtyping and capability inference for a distributed π-calculus – Peter Sewell - 1998
189 Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 – J F Groote, F Vaandrager - 1992
224 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
169 The category-theoretic solution of recursive domain equations – M B Smyth, G D Plotkin - 1982
23 Towards a Theory of Bisimulation for Local Names – Alan Jeffrey, Julian Rathke - 1999
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997