Reactive Systems over Directed Bigraphs

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

Marino Miculan, Davide Grohmann

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

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