scientific article; zbMATH DE number 1330131
From MaRDI portal
Publication:4260701
zbMath0946.68087MaRDI QIDQ4260701
Paolo Baldan, Andrea Corradini, Ugo Montanari
Publication date: 17 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Unfolding semantics of graph transformation ⋮ Ugo Montanari and Graph Transformation ⋮ Unfolding Graph Transformation Systems: Theory and Applications to Verification ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ Typed event structures and the linear \(\pi \)-calculus ⋮ GETGRATS ⋮ Concurrency for Graph Grammars in a Petri net shell ⋮ Contextual Petri nets, asymmetric event structures, and processes ⋮ Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems
Uses Software
This page was built for publication:
