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

Documents Related by Co-Citation

27 Control Flow Semantics. Foundations of Computing Series – J W de Bakker, E de Vink - 1996
4 Available at URL: www.elsevier.nl/locate/entcs – B Jacobs, L Moss, H Reichel, J J M M Rutten, editors - 1998
17 Comparative semantics for flow of control in logic programming without logic – J W de Bakker - 1991
46 Non-well-founded sets. Number 14 – P Aczel - 1988
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
279 Regular Algebra and Finite Machines – J H Conway - 1971
209 Derivatives of regular expressions – Janusz A. Brzozowski - 1964
6 An Implementation of an E#cient Algorithm for Bisimulation Equivalence – J C Fernandez - 1989
13 Bisimulation, the supervisory control problem and strong model matching for nite state machines – G Barrett, S Lafortune - 1998
10 Foundations of systems theory: decomposable systems – M A ARBIB, E G MANES - 1974
434 Introduction to Discrete Event Systems – C Cassandras, S Lafortune - 1999
87 An Implementation of an Efficient Algorithm for Bisimulation Equivalence – Jean-Claude Fernandez - 1989
1 Products of automata, volume 7 – F G'ecseg - 1986
1 Algebraic theory of automata. ACM Monograph series – A Ginzburg - 1968
1 Products of automata, volume 7 – F Gcseg - 1986
6 Non-Well-Founded Sets. Number 14 in csli Lecture Notes. csli – peter aczel - 1988
9 A tutorial on (co)algebras and (co)induction. Bulletin of the European Association for Theoretical Computer Science 62 – B Jacobs, J Rutten - 1997
61 Vicious Circles: on the mathematics of non-wellfounded phenomena. Stanford,USA:CSLIPublications – Jon Barwise, Lawrence S Moss - 1996