On the Unification of Process Semantics: Observational Semantics

DOI10.1007/978-3-540-95891-8_27MaRDI QIDQ3599079zbMATH OpenOpenAlexFDO

Authors David de Frutos Escrig, Carlos Gregorio Rodríguez, Miguel Palomino

Publication date 3 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://eprints.ucm.es/20651/1/Frutos06oficial.pdf

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: equational semantics
• Unifying the linear time-branching time spectrum of process semantics
• On the unification of process semantics: logical semantics
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Publication:4733391

Cites work

• Acceptance trees
• Impossible futures and determinism
• On the unification of process semantics: equational semantics
• Processes as formal power series: a coinductive approach to denotational semantics
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Trace semantics for coalgebras

Cited in

(5)

• On the unification of process semantics: equational semantics
• Unifying the linear time-branching time spectrum of process semantics
• Non-strongly stable orders also define interesting simulation relations
• On the unification of process semantics: logical semantics
• The Spotlight Principle

This page was built for publication: On the Unification of Process Semantics: Observational Semantics

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