On the unification of process semantics: equational semantics
DOI10.1016/J.ENTCS.2009.07.093zbMATH Open1337.68180OpenAlexW2077666692MaRDI QIDQ2805160FDOQ2805160
Authors: David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino 
Publication date: 10 May 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.093
Recommendations
- On the unification of process semantics: logical semantics
- On the Unification of Process Semantics: Observational Semantics
- Communicating Sequential Processes. The First 25 Years
- Equational reasoning about nondeterministic processes
- scientific article; zbMATH DE number 1189061
- Programming Languages and Systems
- Equivalence of recursive specifications in process algebra
- scientific article; zbMATH DE number 4205998
- Processes, Terms and Cycles: Steps on the Road to Infinity
- scientific article; zbMATH DE number 937812
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- Title not available (Why is that?)
- Computer Aided Verification
- Impossible futures and determinism
- Responsiveness and stable revivals
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Simulations up-to and canonical preorders (extended abstract)
- Ready to Preorder: Get Your BCCSP Axiomatization for Free!
- CONCUR 2005 – Concurrency Theory
- Ready to preorder: an algebraic and general proof
- Revivals, stuckness and the hierarchy of CSP models
- On the Unification of Process Semantics: Observational Semantics
Cited In (14)
- Axiomatizing weak ready simulation semantics over BCCSP
- The equational theory of weak complete simulation semantics over BCCSP
- Equivalence of Processes in Partially Commutative Object-Oriented Environments
- CONCUR 2003 - Concurrency Theory
- Title not available (Why is that?)
- On the unification of process semantics: logical semantics
- Processes as formal power series: a coinductive approach to denotational semantics
- On the Unification of Process Semantics: Observational Semantics
- Equational reasoning about nondeterministic processes
- Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet
- Unifying the linear time-branching time spectrum of process semantics
- The quantitative linear-time-branching-time spectrum
- Programming Languages and Systems
- Axiomatizing weak simulation semantics over BCCSP
This page was built for publication: On the unification of process semantics: equational semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805160)
