Universidad Complutense de Madrid
E-Prints Complutense

On the unification of process semantics: equational semantics

Impacto

Downloads

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

[img] PDF
Restringido a Repository staff only

463kB

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


URLURL Type
http://www.sciencedirect.com/Publisher


Abstract

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