Compositionality and bisimulation: A negative result

DOI10.1016/0020-0190(91)90163-CMaRDI QIDQ1182130zbMATH OpenFDO

Authors Alessandro Fantechi, S. Gnesi, Gioia Ristori

Publication date 27 June 1992

Published in Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

compositionalitytemporal logicsCCSbisimulation equivalencetemporal semanticsCTL*full abstractnessreactive and concurrent systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Publication:4733387
• Branching time and abstraction in bisimulation semantics
• Finitary logics for some CCS observational bisimulations
• On convergence-sensitive bisimulation and the embedding of CCS in timed CCS

Cites work

• scientific article; zbMATH DE number 3919813 (Why is no real title available?)
• scientific article; zbMATH DE number 3936485 (Why is no real title available?)
• scientific article; zbMATH DE number 4119598 (Why is no real title available?)
• scientific article; zbMATH DE number 869193 (Why is no real title available?)
• A calculus of communicating systems
• A logic for the description of non-deterministic programs and their properties
• An action-based framework for veryfying logical and behavioural properties of concurrent systems
• Characterizing finite Kripke structures in propositional temporal logic
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• The temporal semantics of concurrent programs
• “Sometimes” and “not never” revisited

Cited in

(6)

• Towards automatic temporal logic verification of value passing process algebra using abstract interpretation
• scientific article; zbMATH DE number 4119603 (Why is no real title available?)
• Impossibility Results for the Equational Theory of Timed CCS
• \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics
• On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
• Finitary logics for some CCS observational bisimulations

This page was built for publication: Compositionality and bisimulation: A negative result

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