scientific article; zbMATH DE number 7297883

zbMath1458.68128arXiv1701.02394MaRDI QIDQ5144682

Fabio Gadducci, Andrea Corradini, Paolo Baldan

Publication date: 19 January 2021

Full work available at URL: https://arxiv.org/abs/1701.02394

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

graph rewritingprocess calculievent structuresfusions

Mathematics Subject Classification ID

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

Related Items (3)

Event structure semantics for multiparty sessions ⋮ Unnamed Item ⋮ Concurrent semantics for fusions: weak prime domains and connected event structures

This page was built for publication: