%0 Journal Article
%A Frutos Escrig, David de
%A Gregorio Rodríguez, Carlos
%A Palomino, Miguel
%T On the unification of process semantics: equational semantics
%D 2009
%@ 15710661
%U https://hdl.handle.net/20.500.14352/43768
%X 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.
%~