Processes, Terms and Cycles: Steps on the Road to Infinity

DOI10.1007/11601548zbMath1171.68572OpenAlexW2234185834MaRDI QIDQ5898154

Fabio Gadducci, Ugo Montanari

Publication date: 13 November 2006

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

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

zbMATH Keywords

reduction semanticsgraph transformationsNominal calculirelative pushoutssynthesised labelled transition systems

Mathematics Subject Classification ID

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

Related Items (6)

Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi ⋮ Ugo Montanari and Graph Transformation ⋮ Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) ⋮ Modelling and Verifying Mobile Systems Using π-Graphs ⋮ RPO, Second-Order Contexts, and λ-Calculus ⋮ Adhesive DPO Parallelism for Monic Matches

This page was built for publication: Processes, Terms and Cycles: Steps on the Road to Infinity