Final Semantics for a Higher Order Concurrent Language (1995)

Cached

Download Links

by Marina Lenisa
Venue:CAAP'96 Conference Proceedings, H.Kirchner ed., Springer LNCS
Citations:15 - 11 self

Active Bibliography

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
7 Processes and Hyperuniverses – Marco Forti, Furio Honsell, Marina Lenisa - 1994
2 Final Semantics for untyped λ-calculus – Furio Honsell, Marina Lenisa - 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
13 On the Foundations of Corecursion – Lawrence S. Moss, NORMAN DANNER - 1997
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
5 Themes in Final Semantics – Marina Lenisa - 1998
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
2 Final Semantics for the pi-calculus – F. Honsell, M. Lenisa, U. Montanari, M. Pistore - 1998
7 A Small Final Coalgebra Theorem – Yasuo Kawahara, Masao Mori - 1998
Adding Enrichments to Refined Interleavings: A New Model for the π-Calculus – Michael Baldamus - 1999
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
4 Semantics for Finite Delay – Chrysafis Hartonas - 1997