Unifying the Linear Time-Branching Time Spectrum of Process Semantics
Van Glabbeek's linear time-branching time spectrum is one of the most relevant work on comparative study on process semantics, in which semantics are partially ordered by their discrimination power. In this paper we bring forward a refinement of this classification and show how the process sema...
Main Authors: | David de Frutos Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero Hernández |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2013-06-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/983/pdf |
Similar Items
-
Satisfiability Games for Branching-Time Logics
by: Oliver Friedmann, et al.
Published: (2013-10-01) -
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
by: Benjamin Bisping, et al.
Published: (2022-08-01) -
Games for Bisimulations and Abstraction
by: David De Frutos Escrig, et al.
Published: (2017-11-01) -
All Linear-Time Congruences for Familiar Operators
by: Antti Valmari
Published: (2013-11-01) -
A unifying framework for continuity and complexity in higher types
by: Thomas Powell
Published: (2020-09-01)