The linear time — Branching time spectrum II

The semantics of sequential systems with silent moves extended abstract
  • R. J. van Glabbeek
Conference paper

DOI: 10.1007/3-540-57208-2_6

Volume 715 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
van Glabbeek R.J. (1993) The linear time — Branching time spectrum II. In: Best E. (eds) CONCUR'93. CONCUR 1993. Lecture Notes in Computer Science, vol 715. Springer, Berlin, Heidelberg

Abstract

This paper studies semantic equivalences and preorders for sequential systems with silent moves, restricting attention to the ones that abstract from successful termination, stochastic and real-time aspects of the investigated systems, and the structure of the visible actions systems can perform. It provides a parameterized definition of such a preorder, such that most such preorders and equivalences found in the literature are obtained by a suitable instantiation of the parameters. Other instantiations yield preorders that combine properties from various semantics. Moreover, the approach shows several ways in which preorders that were originally only considered for systems without silent moves, most notably the ready simulation, can be generalized to an abstract setting, and how preorders that were originally only considered for for systems without divergence, such as the coupled simulation, can be extended to divergent systems. All preorders come with—or rather as—a modal characterization, and when possible also a relational characterization. The paper concludes with some pros and cons of the preorders.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • R. J. van Glabbeek
    • 1
  1. 1.Computer Science DepartmentStanford UniversityStanfordUSA