Modelling real-time systems with bigraphs

DOI10.4204/EPTCS.417.6MaRDI QIDQ6934017zbMATH OpenFDO

Authors Maram Albalwe, Blair Archibald, Michele Sevegnani

Publication date 3 September 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4204/EPTCS.417.6

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A logic for reasoning about time and reliability
• A theory of timed automata
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Bigraphs with sharing
• Conditional bigraphs
• Directed bigraphs
• scientific article; zbMATH DE number 176736 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• Performance analysis of probabilistic timed automata using digital clocks
• Probabilistic Bigraphs
• Probabilistic timed graph transformation systems
• Stochastic bigraphs
• The Space and Motion of Communicating Agents
• Timed -calculus
• What good are digital clocks?

This page was built for publication: Modelling real-time systems with bigraphs

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