|
Título:
|
On the unification of process semantics: equational semantics
|
|
Autores:
|
Frutos Escrig, David de ;
Gregorio Rodríguez, Carlos ;
Palomino, Miguel
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
Elsevier, 2009-08
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/restrictedAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Informática
,
Tipo = Artículo
|
|
Resumen:
|
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.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/20932/1/Frutos46elsevier.pdf
|
