Advertisement

Equivalences of Transition Systems in an Algebraic Framework

  • Pasquale Malacaria
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Abstract

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.

Keywords

Transition System Algebraic Framework Action Algebra Stone Duality Bisimulation Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    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
  2. [2]
    A. Arnold. Systemes de transitions finis et sémantique des processus comunicants. Mas-son, 1992.Google Scholar
  3. [3]
    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
  4. [4]
    M. Hennessy, R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of A CM. vol 32, 1985.Google Scholar
  5. [5]
    P. Johnstone. Stone Spaces. Cambridge University Press 1982.Google Scholar
  6. [6]
    S. MacLane. Categories for the working mathematician. Springer Verlag 1971.Google Scholar
  7. [7]
    P. Malacaria Deux contributions de la dualité de Stone à Vinformatique théorique Ph.D. thesis, University of Paris VII, 1993.Google Scholar
  8. [8]
    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

Copyright information

© British Computer Society 1994

Authors and Affiliations

  • Pasquale Malacaria
    • 1
    • 2
  1. 1.LIENS, Ecole Normale SupérieureParisFrance
  2. 2.Department of ComputingImperial CollegeLondonGreat Britain

Personalised recommendations