Reactive Systems over Directed Bigraphs

DOI10.1007/978-3-540-74407-8_26MaRDI QIDQ3525650zbMATH OpenOpenAlexFDO

Authors Davide Grohmann, Marino Miculan

Publication date 18 September 2008

Published in CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11390/738662

Mathematics Subject Classification ID

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

Recommendations

• Directed bigraphs
• scientific article; zbMATH DE number 1863157
• Bigraphs and transitions
• Pure bigraphs: structure and dynamics
• An algebra for directed bigraphs

Cited in

(12)

• Synthesising CCS bisimulation using graph rewriting
• Finding a forest in a tree
• An algebra for directed bigraphs
• \textsf{DBtk}: a toolkit for directed bigraphs
• Security, Cryptography and Directed Bigraphs
• On the Construction of Sorted Reactive Systems
• Reactive Systems, Barbed Semantics, and the Mobile Ambients
• Computing embeddings of directed bigraphs
• Encoding bigraphical reactive systems into graph transformation systems
• Directed bigraphs
• A categorical model of the fusion calculus
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

This page was built for publication: Reactive Systems over Directed Bigraphs

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