Deriving Bisimulation Congruences with Borrowed Contexts

DOI10.1007/978-3-540-73859-6_3zbMATH Open1214.68249OpenAlexW1493819340MaRDI QIDQ3612482FDOQ3612482

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• Title not available (Why is that?)
• 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
• Foundations of Software Science and Computation Structures
• \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics
• 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)