On the unification of process semantics: equational semantics

DOI10.1016/J.ENTCS.2009.07.093MaRDI QIDQ2805160zbMATH OpenOpenAlexFDO

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)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.093

zbMATH Keywords

processesequational semanticslinear time-branching time spectrumuniform presentation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

Cites work

• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• CONCUR 2005 – Concurrency Theory
• Computer Aided Verification
• Impossible futures and determinism
• On the Unification of Process Semantics: Observational Semantics
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Ready to Preorder: Get Your BCCSP Axiomatization for Free!
• Ready to preorder: an algebraic and general proof
• Responsiveness and stable revivals
• Revivals, stuckness and the hierarchy of CSP models
• Simulations up-to and canonical preorders (extended abstract)
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.

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
• scientific article; zbMATH DE number 1189061 (Why is no real title available?)
• 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)