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

Mathematics Subject Classification ID

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

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)