Observational structures and their logic

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

Egidio Astesiano, Alessandro Giovini, Gianna Reggio

Publication date: 26 September 1992

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

zbMATH Keywords

Hennessy-Milner logic; observational equivalences; logic of observation

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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