On the Unification of Process Semantics: Equational Semantics

  title={On the Unification of Process Semantics: Equational Semantics},
  author={David de Frutos-Escrig and Carlos Gregorio-Rodr{\'i}guez and Miguel Palomino},
  journal={Electr. Notes Theor. Comput. Sci.},
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… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
12 Citations
14 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 12 extracted citations


Publications referenced by this paper.
Showing 1-10 of 14 references

On the unification of semantics for processes: observational semantics

  • D. de Frutos Escrig, C. Gregorio-Rodŕıguez, M. Palomino
  • SOFSEM 09: Theory and Practice of Computer…
  • 2009
Highly Influential
5 Excerpts

Gregorio-Rodŕıguez. Universal coinductive characterizations of process semantics

  • C. D. de Frutos-Escrig
  • IFIP International Conference on Theoretical…
  • 2008
3 Excerpts

Algebraic and coinductive characterizations of semantics provide general results for free (short extended abstract)

  • D. de Frutos-Escrig, C. Gregorio-Rodŕıguez
  • 19th Nordic Workshop on Programming Theory,
  • 2007
1 Excerpt

Gregorio-Rodŕıguez. Simulations up-to and canonical preorders (extended abstract)

  • C. D. de Frutos-Escrig
  • Structural Operational Semantics SOS 2007,
  • 2007
2 Excerpts

Similar Papers

Loading similar papers…