On the Unification of Process Semantics: Observational Semantics

DOI10.1007/978-3-540-95891-8_27zbMath1206.68220OpenAlexW1494936125MaRDI QIDQ3599079

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)

Related Items (2)

Non-strongly Stable Orders Also Define Interesting Simulation Relations ⋮ On the Unification of Process Semantics: Equational Semantics

Cites Work

• Impossible futures and determinism
• Processes as formal power series: a coinductive approach to denotational semantics
• On the Unification of Process Semantics: Equational Semantics
• Acceptance trees
• Unnamed Item
• Unnamed Item

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