Terminal Metric Spaces of Finitely Branching and Image Finite Linear processes (1997)

Cached

Download Links

by Franck Van Breugel , Franck Van Breugel
Citations:2 - 0 self

Active Bibliography

1 De Bakker-Zucker Processes Revisited – Franck Van Breugel, Franck Van Breugel - 1999
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
1 A Theory of Metric Labelled Transition Systems – Franck Van Breugel - 1995
3 Comparative Semantics for a Process Language With Probabilistic Choice and Non-Determinism – J.I. den Hartog - 1998
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
3 From Branching to Linear Metric Domains (and back – Franck Van Breugel, Franck Van Breugel - 1995
2 Coalgebra, Concurrency, and Control – J. J. M. M. Rutten - 1999
62 Automata and coinduction (an exercise in coalgebra – J. J. M. M. Rutten - 1998
1 Alexandroff and Scott Topologies for Generalized Ultrametric Spaces – M.M. Bonsangue, F. Van Breugel, J.J.M.M. Rutten - 1995
4 Alexandroff and Scott Topologies for Generalized Metric Spaces – M.M. Bonsangue, F. Van Breugel, J. J. M. M. Rutten
5 Themes in Final Semantics – Marina Lenisa - 1998
7 A Structural Co-Induction Theorem – J. J. M. M. Rutten - 1993
7 Processes and Hyperuniverses – Marco Forti, Furio Honsell, Marina Lenisa - 1994
25 A Calculus of Transition Systems (towards Universal Coalgebra) – J. J. M. M. Rutten, Issn -x - 1995
30 Mongruences and Cofree Coalgebras – Bart Jacobs - 1995
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
8 Categorical Modelling of Structural Operational Rules - Case Studies – Daniele Turi - 1997