Categorical Modelling of Structural Operational Rules - Case Studies (1997)

Cached

Download Links

by Daniele Turi
Citations:8 - 4 self

Documents Related by Co-Citation

135 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
194 Bisimulation can't be traced – B S Bloom, S Istrail, A R Meyer - 1988
162 A final coalgebra theorem – P Aczel, P F Mendler - 1989
734 Notions of Computation and Monads – Eugenio Moggi - 1991
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
274 An initial algebra approach to the specification, correctness, and implementation of abstract data types – Joseph A Goguen, James W Thatcher, Eric G Wagner - 1978
3242 Communication and Concurrency – R Milner - 1989
928 S.: Categories for the Working Mathematician – Mac Lane - 1998