Bigraphical Categories

DOI10.1007/978-3-642-04081-8_3MaRDI QIDQ3184663zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cites work

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

Cited in

(2)

• Kind Bigraphs
• Survey on bigraph and its applications

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)