A bigraph relational model

DOI10.4204/EPTCS.71.2MaRDI QIDQ6940447zbMATH OpenFDO

Authors Maxime Beauquier, Carsten Schürmann

Publication date 19 August 2025

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

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

• Bigraphs and transitions
• Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)
• Lectures on Concurrency and Petri Nets
• Pattern unification for the lambda calculus with linear and affine types
• Pure bigraphs: structure and dynamics
• The Space and Motion of Communicating Agents

This page was built for publication: A bigraph relational model

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