The Space and Motion of Communicating Agents
From MaRDI portal
Publication:3618852
DOI10.1017/CBO9780511626661zbMath1175.68461MaRDI QIDQ3618852
Publication date: 2 April 2009
sortingtransformationmotionspacebigraphscommunicating agentsreactive agentsarithmetic netcomplex settings
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Agent technology and artificial intelligence (68T42)
Related Items (33)
On concurrent behaviors and focusing in linear logic ⋮ Dynamic input/output automata: a formal and compositional model for dynamic systems ⋮ Executing bigraphical reactive systems ⋮ Robin Milner's Work on Concurrency ⋮ Bigraphical Categories ⋮ Using bigraphs to model topological graphs embedded in orientable surfaces ⋮ Conditional Bigraphs ⋮ Computing Embeddings of Directed Bigraphs ⋮ Towards a user interface description language based on bigraphs ⋮ Logics for actor networks: a two-stage constrained-hybridisation approach ⋮ An inductive characterization of matching in binding bigraphs ⋮ Formal modeling of multi-viewpoint ontology alignment by mappings composition ⋮ Unnamed Item ⋮ Minimisation of spatial models using branching bisimilarity ⋮ A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs ⋮ A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity ⋮ Petri nets are dioids: a new algebraic foundation for non-deterministic net theory ⋮ Incremental Update for Graph Rewriting ⋮ (WEAK) INCIDENCE BIALGEBRAS OF MONOIDAL CATEGORIES ⋮ Formal Cellular Machinery ⋮ Containment in Rule-Based Models ⋮ Encoding bigraphical reactive systems into graph transformation systems ⋮ The monoidal structure of Turing machines ⋮ Multi-level modelling via stochastic multi-level multiset rewriting ⋮ The Algebra of Directed Acyclic Graphs ⋮ Unnamed Item ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics ⋮ Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing ⋮ Finding a Forest in a Tree ⋮ Bialgebraic foundations for the operational semantics of string diagrams ⋮ Typed ψ-calculi ⋮ A tale of two graph models: a case study in wireless sensor networks ⋮ Bigraphs with sharing
This page was built for publication: The Space and Motion of Communicating Agents
