Observational structures and their logic

DOI10.1016/0304-3975(92)90186-JzbMath0756.68073OpenAlexW1990085921MaRDI QIDQ1190494

Egidio Astesiano, Alessandro Giovini, Gianna Reggio

Publication date: 26 September 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90186-j

zbMATH Keywords

Hennessy-Milner logicobservational equivalenceslogic of observation

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items

Topological models for higher order control flow ⋮ Proof systems for structured specifications with observability operators ⋮ Specification of abstract dynamic-data types: A temporal logic approach ⋮ \(\pi\)-calculus, internal mobility, and agent-passing calculi ⋮ Swinging types=functions+relations+transition systems

Cites Work

• Observation equivalence as a testing equivalence
• Bisimulations and abstraction homomorphisms
• Semantics of systems of concurrent processes. LITP Spring School on theoretical computer science, La Roche Posay, France, 23-27 April 1990. Proceedings
• Synchronization trees
• Testing equivalences for processes
• An algebraic characterization of transition system equivalences
• Distributed bisimulations
• Process algebra for synchronous communication
• Algebraic laws for nondeterminism and concurrency
• Branching time and abstraction in bisimulation semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item