Observational structures and their logic
type: Item
instance of: scholarly article
title: Observational structures and their logic
zbMATH Open document ID: 0756.68073
DOI: 10.1016/0304-3975(92)90186-J
author: Egidio Astesiano
author: Alessandro Giovini
author: Gianna Reggio
published in: Theoretical Computer Science
publication date: 1992-09-26T00:00:00Z
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)].
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 55548
zbMATH Keywords: logic of observation
zbMATH Keywords: observational equivalences
zbMATH Keywords: Hennessy-Milner logic
reviewed by: Alberto Pettorossi
MaRDI profile type: Publication
cites work: Observation equivalence as a testing equivalence
cites work: An algebraic characterization of transition system equivalences
cites work: Q3829081
cites work: Q4203802
cites work: Q4721640
cites work: Q3993363
cites work: Process algebra for synchronous communication
cites work: Bisimulations and abstraction homomorphisms
cites work: Distributed bisimulations
cites work: Testing equivalences for processes
cites work: Q3999206
cites work: Q3811687
cites work: Q4027626
cites work: Q3030249
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Semantics of systems of concurrent processes. LITP Spring School on theoretical computer science, La Roche Posay, France, 23-27 April 1990. Proceedings
cites work: Q4385545
cites work: Q3907077
cites work: Q4733387
cites work: Branching time and abstraction in bisimulation semantics
cites work: Synchronization trees
full work available at URL: 0304-3975(92)90186-j
OpenAlex ID: W1990085921
description: scientific article; zbMATH DE number 55548