Automata, Languages and Programming
From MaRDI portal
Publication:5716826
DOI10.1007/11523468zbMath1084.68081OpenAlexW2940595899WikidataQ56656999 ScholiaQ56656999MaRDI QIDQ5716826
Vladimiro Sassone, Giovanni Conforti, Damiano Macedonio
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11523468
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Conditional Bigraphs, Logics for actor networks: a two-stage constrained-hybridisation approach, Pure bigraphs: structure and dynamics, Unnamed Item, Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing, Kind Bigraphs, Bigraphs with sharing, Local Reasoning about Data Update, Extensionality of Spatial Observations in Distributed Systems, Bigraphs and Their Algebra, An Algebra for Directed Bigraphs
