Conditional Bigraphs

DOI10.1007/978-3-030-51372-6_1zbMath1502.68143OpenAlexW4254966498MaRDI QIDQ5100722

Michele Sevegnani, Blair Archibald, Muffy Calder

Publication date: 1 September 2022

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51372-6_1

zbMATH Keywords

bigraphsconditional rewritingbigraphical reactive systemsapplication conditions

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Towards a user interface description language based on bigraphs ⋮ A tale of two graph models: a case study in wireless sensor networks

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing
• Conditional rewriting logic as a unified model of concurrency
• Term-rewriting systems with rule priorities
• Bigraphs with sharing
• Fundamentals of algebraic graph transformation
• Conditional Reactive Systems
• Specifying and Verifying Properties of Space
• The Space and Motion of Communicating Agents
• Stochastic Bigraphs
• Formal Methods in Software and Systems Modeling
• Automata, Languages and Programming

This page was built for publication: Conditional Bigraphs