Directed Bigraphs

DOI10.1016/j.entcs.2007.02.031zbMath1316.68093MaRDI QIDQ5262934

Marino Miculan, Davide Grohmann

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.031

zbMATH Keywords

concurrent systems; distributed systems; categorical models; reactive systems; mobile systems; bigraphical models

Mathematics Subject Classification ID

68R10: Graph theory (including graph drawing) in computer science

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

05C20: Directed graphs (digraphs), tournaments