Reactive Systems over Directed Bigraphs

DOI10.1007/978-3-540-74407-8_26zbMATH Open1151.68530OpenAlexW1541912827MaRDI QIDQ3525650FDOQ3525650

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (12)

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

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)