Graph Transactions as Processes

DOI10.1007/11841883_15zbMath1156.68416OpenAlexW2169764683MaRDI QIDQ3541960

Paolo Baldan, Fabio Gadducci, Andrea Corradini, Luciana Foss

Publication date: 27 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11841883_15

zbMATH Keywords

refinementtransactionsgraph processeszero-safe nets

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (1)

Graph Transformation with Dependencies for the Specification of Interactive Systems

This page was built for publication: Graph Transactions as Processes