Deriving Bisimulation Congruences for Conditional Reactive Systems

DOI10.1007/978-3-642-28729-9_24MaRDI QIDQ2892783zbMATH OpenOpenAlexFDO

Authors Mathias Hülsbusch, Barbara König

Publication date 22 June 2012

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28729-9_24

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1759615
• Conditional bisimilarity for reactive systems
• Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
• Constructive logical characterizations of bisimilarity for reactive probabilistic systems
• Bisimulation for conditional modalities
• From rewrite rules to bisimulation congruences
• CONCUR 2005 – Concurrency Theory
• Deriving Bisimulation Congruences with Borrowed Contexts
• Compositional verification of concurrent systems by combining bisimulations
• scientific article; zbMATH DE number 2219130

Cited in

(12)

• Constrained simulations, nested simulation semantics and counting bisimulations
• Conditional reactive systems
• A General Theory of Barbs, Contexts, and Labels
• Deriving Bisimulation Congruences with Borrowed Contexts
• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• Conditional bisimilarity for reactive systems
• Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
• Sortings for Reactive Systems
• From rewrite rules to bisimulation congruences
• Conditional bisimilarity for reactive systems
• Coinductive techniques for checking satisfiability of generalized nested conditions
• Contextual behavioural metrics

This page was built for publication: Deriving Bisimulation Congruences for Conditional Reactive Systems

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