Reactive Systems over Directed Bigraphs

DOI10.1007/978-3-540-74407-8_26zbMath1151.68530OpenAlexW1541912827MaRDI QIDQ3525650

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)

Related Items (8)

DBtk: A Toolkit for Directed Bigraphs ⋮ Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ Computing Embeddings of Directed Bigraphs ⋮ Security, Cryptography and Directed Bigraphs ⋮ A Categorical Model of the Fusion Calculus ⋮ Reactive Systems, Barbed Semantics, and the Mobile Ambients ⋮ Synthesising CCS bisimulation using graph rewriting ⋮ An Algebra for Directed Bigraphs

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