Synthesising CCS bisimulation using graph rewriting

DOI10.1016/J.IC.2008.10.005MaRDI QIDQ1004288zbMATH OpenOpenAlexFDO

Authors Filippo Bonchi, Fabio Gadducci, Barbara König

Publication date 2 March 2009

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2008.10.005

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

• Process Bisimulation Via a Graphical Encoding
• Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
• RPO semantics for mobile ambients
• Processes, Terms and Cycles: Steps on the Road to Infinity
• scientific article; zbMATH DE number 7020157

Cites work

• scientific article; zbMATH DE number 1189283 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 2059571 (Why is no real title available?)
• scientific article; zbMATH DE number 1497812 (Why is no real title available?)
• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• scientific article; zbMATH DE number 919845 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST
• Adhesive and quasiadhesive categories
• An algebraic presentation of term graphs, via gs-monoidal categories
• Behavioral theory for mobile ambients
• Bigraphs and transitions
• Composition and Decomposition of DPO Transformations with Borrowed Context
• Deriving Structural Labelled Transitions for Mobile Ambients
• Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
• Explicit fusions
• Formal Methods in Software and Systems Modeling
• Foundations of Software Science and Computation Structures
• From rewrite rules to bisimulation congruences
• Fundamentals of algebraic graph transformation
• Graph Transformations
• Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
• Mobile ambients
• Multisets and structural congruence of the pi-calculus with replication
• Process Bisimulation Via a Graphical Encoding
• Pure bigraphs: structure and dynamics
• Reactive Systems over Directed Bigraphs
• Term graph rewriting for the \(\pi \)-calculus.
• The chemical abstract machine

Cited in

(12)

• String diagram rewrite theory III: Confluence with and without Frobenius
• A General Theory of Barbs, Contexts, and Labels
• \textsc{WiCcA}: LTS generation tool for wire calculus
• Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
• scientific article; zbMATH DE number 5263437 (Why is no real title available?)
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Confluence of graph rewriting with interfaces
• A decentralised graphical implementation of mobile ambients
• Bisimulations on Data Graphs
• String diagram rewrite theory. I: Rewriting with Frobenius structure
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure
• RPO semantics for mobile ambients

This page was built for publication: Synthesising CCS bisimulation using graph rewriting

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