2026-06-28T04:56:18Zhttps://docta.ucm.es/rest/oai/requestoai:docta.ucm.es:20.500.14352/437682024-07-10T14:27:34Zcom_20.500.14352_14col_20.500.14352_15
Docta Complutense
author
Frutos Escrig, David De
author
Gregorio Rodríguez, Carlos
author
Palomino Tarjuelo, Miguel
2023-06-20T03:32:07Z
2023-06-20T03:32:07Z
2009-08
Frutos Escrig, D., Gregorio Rodríguez, C. & Palomino Tarjuelo, M. «On the Unification of Process Semantics: Equational Semantics». Electronic Notes in Theoretical Computer Science, vol. 249, agosto de 2009, pp. 243-67. DOI.org (Crossref), https://doi.org/10.1016/j.entcs.2009.07.093.
15710661
10.1016/j.entcs.2009.07.093
https://hdl.handle.net/20.500.14352/43768
https//doi.org/10.1016/j.entcs.2009.07.093
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.
eng
On the unification of process semantics: equational semantics
journal article
URL
https://docta.ucm.es/bitstreams/3fed0f65-0865-4d2a-bcf0-6793c471aab2/download
File
MD5
5b1d3c30df05ed36caba4bd89a4c0a24
463916
application/pdf
Frutos46elsevier.pdf