Bigraphical Categories

DOI10.1007/978-3-642-04081-8_3zbMATH Open1254.68176OpenAlexW2912058352MaRDI QIDQ3184663FDOQ3184663

Robin Milner

Publication date: 22 October 2009

Published in: CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04081-8_3

Recommendations

• Survey on bigraph and its applications
• Bigraphs and their algebra
• scientific article; zbMATH DE number 2016063
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 1863157

zbMATH Keywords

bigraphcategoryprocessubiquitous computing

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Graphs, diagram schemes, precategories (18A10)

Cites Work

• The Space and Motion of Communicating Agents
• Sortings for Reactive Systems

Cited In (1)

• Kind Bigraphs

This page was built for publication: Bigraphical Categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184663)