Bigraphical Categories

DOI10.1007/978-3-642-04081-8_3zbMath1254.68176OpenAlexW2912058352MaRDI QIDQ3184663

Arthur J. 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

categorybigraphprocessubiquitous 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

This page was built for publication: Bigraphical Categories