Equivalences of Transition Systems in an Algebraic Framework
We study the category of transition systems and the notions of equivalence by simulation and by bisimulation. In order to study the notion of simulation we introduce a monad on the category of transition systems. Bisimulation is studied in an algebraic way, by introducing a category of algebras which turns out to be the “Stone dual” of the category of transition systems. This category of algebras seems to be a natural framework for reasoning about bisimulation equivalence; in particular we argue an equivalence between the concepts of minimal transition system in a bisimulation class and minimal subalgebra.
KeywordsTransition System Algebraic Framework Action Algebra Stone Duality Bisimulation Relation
Unable to display preview. Download preview PDF.
- S. Abramsky. Domain theory in logical form. Proceedings of the 2nd annual symposium on Logic in Computer Science IEEE Computer Society Press 1987.Google Scholar
- A. Arnold. Systemes de transitions finis et sémantique des processus comunicants. Mas-son, 1992.Google Scholar
- T. Ehrhard, P. Malacaria. Stone duality for stable functions. Proceedings of Category Theory in Computer Science. Springer Verlag L.N.C.S. 530.Google Scholar
- M. Hennessy, R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of A CM. vol 32, 1985.Google Scholar
- P. Johnstone. Stone Spaces. Cambridge University Press 1982.Google Scholar
- S. MacLane. Categories for the working mathematician. Springer Verlag 1971.Google Scholar
- P. Malacaria Deux contributions de la dualité de Stone à Vinformatique théorique Ph.D. thesis, University of Paris VII, 1993.Google Scholar
- D. Park Concurrency and automata on infinite sequences. Proceedings 5th GI conference on Theoretical Computer Science. Springer Verlag L.N.C.S. 104.Google Scholar