Conditional bigraphs

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

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

Recommendations

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

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 (12)

• Title not available (Why is that?)
• Bigraphs and transitions
• Lectures on Concurrency and Petri Nets
• Local bigraphs and confluence: two conjectures (extended abstract)
• Executing bigraphical reactive systems
• Towards a user interface description language based on bigraphs
• Survey on bigraph and its applications
• A tale of two graph models: a case study in wireless sensor networks
• Probabilistic Bigraphs
• Conditional reactive systems
• Bigraphs with sharing
• Matching of 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)