Deriving Bisimulation Congruences with Borrowed Contexts

DOI10.1007/978-3-540-73859-6_3MaRDI QIDQ3612482zbMATH OpenOpenAlexFDO

Authors Barbara König

Publication date 10 March 2009

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73859-6_3

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
• Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
• Deriving bisimulation congruences: a 2-categorical approach
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• From rewrite rules to bisimulation congruences
• Deriving Bisimulation Congruences for Conditional Reactive Systems
• scientific article; zbMATH DE number 1759615
• CONCUR 2005 – Concurrency Theory
• Deriving Bisimulations by Simplifying Partitions
• Foundations of Software Science and Computation Structures

Cited in

(10)

• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
• From rewrite rules to bisimulation congruences
• Deriving labelled transition systems -- a structural approach
• CONCUR 2005 – Concurrency Theory
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
• \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics
• Foundations of Software Science and Computation Structures
• Deriving Bisimulation Congruences for Conditional Reactive Systems

This page was built for publication: Deriving Bisimulation Congruences with Borrowed Contexts

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