Themes in Final Semantics (1998)

Cached

Download Links

by Marina Lenisa
Venue:Dipartimento di Informatica, Università di
Citations:5 - 2 self

Documents Related by Co-Citation

696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
19 Final Universes of Processes – Peter Aczel - 1994
42 A theory of bisimulation for the -calculus – D Sangiorgi - 1993
7 The coq proof assistant – INRIA - 2010
19 Compositional SOS and beyond: a coalgebraic view of open systems – Andrea Corradini , Reiko Heckel , Ugo Montanari - 2002
9 Final semantics for the π-calculus – F Honsell, M Lenisa, U Montanari, M Pistore - 1998
65 A theory of bisimulation for the π-calculus – A Tiu, D Miller Sangiorgi, D - 1996
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
3219 Communication and Concurrency – R Milner - 1990
16 A Fully Abstract Domain Model for the ��--Calculus – I Stark - 1996
6 The Weak Late -calculus Semantics as Observation Equivalence – G-L Ferrari, U Montanari, P Quaglia - 1995
10 Final Semantics for untyped -calculus – M Lenisa F Honsell - 1995
9 A fully-abstract model for the -calculus – M Fiore, E Moggi, D Sangiorgi - 1996
2 coalgebra: a theory of systems – J J M M Rutten ”Universal - 2000
22 The Coq proof assistant, reference manual, version 7.0 – C Cornes, J Courant, J-C Filliatre, G Huet, P Manoury, C Munoz, C Murthy, A Saibi Christine, B Werner - 2001
11 On the Foundations of Final Semantics – D Turi J J M M Rutten - 1993
54 Set theory with free construction principles. Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, 4 e série – Marco Forti, Furio Honsell - 1983