On the unification of process semantics: equational semantics



Downloads per month over past year

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel (2009) On the unification of process semantics: equational semantics. Electronic Notes in Theoretical Computer Science, 249 . pp. 243-267. ISSN 15710661

[thumbnail of Frutos46elsevier.pdf] PDF
Restringido a Repository staff only


Official URL: http://www.sciencedirect.com/science/article/pii/S1571066109003156


The complexity of parallel systems has produced a large collection of semantics for processes, a classification of which is provided by Van Glabbeek's linear time-branching time spectrum; however, no suitable unified definitions were available. We have discovered the way to unify them, both in an observational framework and by means of a quite small set of parameterized (in)equations that provide a sound and complete axiomatization of the preorders that define them. In more detail, we have proved that we only need a generic simulation axiom (NS), which defines the family of constrained simulation semantics, thus covering the class of branching time semantics, and a generic axiom (ND) for reducing the non-determinism of processes, by means of which we introduce the additional identifications induced by each of the linear time semantics.

Item Type:Article
Uncontrolled Keywords:processes; linear time-branching time spectrum; equational semantics; uniform presentation
Subjects:Sciences > Computer science
ID Code:20932
Deposited On:19 Apr 2013 08:55
Last Modified:10 Aug 2018 08:20

Origin of downloads

Repository Staff Only: item control page