Towards a Mathematical Operational Semantics (1997)

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

Documents Related by Co-Citation

1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
3242 Communication and Concurrency – R Milner - 1989
662 Concurrency and automata on infinite sequences – D Park - 1981
734 Notions of Computation and Monads – Eugenio Moggi - 1991
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
1008 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998