Observational structures and their logic

DOI10.1016/0304-3975(92)90186-JMaRDI QIDQ1190494zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Publication:4733391
• Modal logics for mobile processes
• A proof-theoretic characterization of observational equivalence
• Structured transition systems with parametric observations: observational congruences and minimal realizations
• Axiomatising Finite Concurrent Processes

Cites work

• scientific article; zbMATH DE number 4018380 (Why is no real title available?)
• scientific article; zbMATH DE number 4080886 (Why is no real title available?)
• scientific article; zbMATH DE number 4104403 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 44213 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 125888 (Why is no real title available?)
• scientific article; zbMATH DE number 4123275 (Why is no real title available?)
• scientific article; zbMATH DE number 1142329 (Why is no real title available?)
• scientific article; zbMATH DE number 3995042 (Why is no real title available?)
• scientific article; zbMATH DE number 4119603 (Why is no real title available?)
• Algebraic laws for nondeterminism and concurrency
• An algebraic characterization of transition system equivalences
• Bisimulations and abstraction homomorphisms
• Branching time and abstraction in bisimulation semantics
• Distributed bisimulations
• Observation equivalence as a testing equivalence
• Process algebra for synchronous communication
• 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

Cited in

(10)

• Topological models for higher order control flow
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• Observational Effort and Formally Open Mappings
• Proof systems for structured specifications with observability operators
• Logics and Their Galaxies
• Swinging types=functions+relations+transition systems
• Observational interpretation of Casl specifications
• Observability Concepts in Abstract Data Type Specification, 30 Years Later
• Fundamental Approaches to Software Engineering
• Specification of abstract dynamic-data types: A temporal logic approach

This page was built for publication: Observational structures and their logic

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