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 logiclogic of observationobservational equivalences

Mathematics Subject Classification ID

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

Review text

The authors present a general framework for defining semantics of datatypes which include higher-order objects and processes. Processes are viewed as elements of observable sorts in algebraic structures and their semantics is defined in terms of observational structures which specify how processes are observed. Various modal observational logics can be associated to an observational structure. The approach presented in this paper extends some classical results concerning observational equivalences and Hennessy-Milner logic for \(CCS\)-like processes [\textit{M. Hennessy} and \textit{R. Milner}, J. Assoc. Comput. Mach. 32, 137-161 (1985; Zbl 0629.68021)].

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

• 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
• 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?)
• 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)

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

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)