Towards a Mathematical Operational Semantics (1997)

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

Active Bibliography

14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
8 Categorical Modelling of Structural Operational Rules - Case Studies – Daniele Turi - 1997
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
10 A conservative look at term deduction systems with variable binding – Wan Fokkink, Chris Verhoef - 1995
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
15 Final Semantics for a Higher Order Concurrent Language – Marina Lenisa - 1995
20 Bisimilarity of Open Terms – Arend Rensink - 2000
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
6 Distributivity for a Monad and a Comonad – John Power, Hiroshi Watanabe
GDP Festschrift ENTCS, to appear Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic – David Pym, Chris Tofts