Conditional Bigraphs

DOI10.1007/978-3-030-51372-6_1zbMATH Open1502.68143OpenAlexW4254966498MaRDI QIDQ5100722FDOQ5100722

M. Calder, Michele Sevegnani, Blair Archibald

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)

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• Bigraphs and transitions
• Towards a user interface description language based on bigraphs
• A tale of two graph models: a case study in wireless sensor networks
• Probabilistic 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)