Conditional bigraphs

DOI10.1007/978-3-030-51372-6_1MaRDI QIDQ5100722zbMATH OpenOpenAlexFDO

Authors Blair Archibald, Michele Sevegnani, M. 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

application conditionsbigraphical reactive systemsbigraphsconditional rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Pure bigraphs: structure and dynamics
• scientific article; zbMATH DE number 1863157
• Bigraphs with sharing
• Bigraphs and their algebra
• Executing bigraphical reactive systems

Cites work

• Automata, Languages and Programming
• Bigraphs with sharing
• Conditional reactive systems
• Conditional rewriting logic as a unified model of concurrency
• Formal Methods in Software and Systems Modeling
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 5604061 (Why is no real title available?)
• scientific article; zbMATH DE number 5604126 (Why is no real title available?)
• scientific article; zbMATH DE number 919847 (Why is no real title available?)
• Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing
• Specifying and Verifying Properties of Space
• Stochastic bigraphs
• Term-rewriting systems with rule priorities
• The Space and Motion of Communicating Agents

Cited in

(13)

• Executing bigraphical reactive systems
• A tale of two graph models: a case study in wireless sensor networks
• Bigraphs with sharing
• Survey on bigraph and its applications
• Local bigraphs and confluence: two conjectures (extended abstract)
• Matching of bigraphs
• Conditional reactive systems
• Bigraphs and transitions
• scientific article; zbMATH DE number 5720989 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• Towards a user interface description language based on bigraphs
• Probabilistic Bigraphs
• Modelling real-time systems with bigraphs

This page was built for publication: Conditional bigraphs

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