Towards a Mathematical Operational Semantics (1997)

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

Documents Related by Co-Citation

1289 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
1332 A Calculus of Communicating Systems – R Milner - 1980
3218 Communication and Concurrency – R Milner - 1989
189 Structured operational semantics and bisimulation as a congruence – J F Groote, F W Vaandrager - 1992
53 Functorial Operational Semantics and its Denotational Dual – D Turi - 1996
996 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
315 Functions as Processes – Robin Milner - 1992
165 An Abstract View of Programming Languages – E Moggi - 1989
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
162 A final coalgebra theorem – P Aczel, P F Mendler - 1989
655 Concurrency and automata on infinite sequences – D Park - 1981
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
150 Elements of Interaction – Robin Milner - 1993
62 Global/local subtyping and capability inference for a distributed π-calculus – Peter Sewell - 1998
221 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
3409 Communicating Sequential Processes – C. A. R. Hoare - 1985
454 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996