On the unification of process semantics: logical semantics

MaRDI QIDQ4965824zbMATH OpenFDO

Authors David Romero Hernández, David de Frutos Escrig

Publication date 10 March 2021

Full work available at URL https://arxiv.org/abs/1108.3127, http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2011.4

Mathematics Subject Classification ID

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

Recommendations

• Unifying the linear time-branching time spectrum of process semantics
• On the Unification of Process Semantics: Observational Semantics
• On the unification of process semantics: equational semantics
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• scientific article; zbMATH DE number 6261993

Cited in

(7)

• Processes as formal power series: a coinductive approach to denotational semantics
• On the unification of process semantics: equational semantics
• Unifying the linear time-branching time spectrum of process semantics
• On the Unification of Process Semantics: Observational Semantics
• scientific article; zbMATH DE number 3963182 (Why is no real title available?)
• scientific article; zbMATH DE number 1189061 (Why is no real title available?)
• scientific article; zbMATH DE number 2158986 (Why is no real title available?)

This page was built for publication: On the unification of process semantics: logical semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4965824)