scientific article
From MaRDI portal
Publication:2848668
zbMath1272.68310MaRDI QIDQ2848668
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105051108
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items
Ugo Montanari and Graph Transformation ⋮ Unnamed Item ⋮ Parallel rewriting of attributed graphs ⋮ Parametric synchronizations in mobile nominal calculi ⋮ Exploiting User-definable Synchronizations in Graph Transformation ⋮ PRISMA: A Mobile Calculus with Parametric Synchronization ⋮ A Petri net view of covalent bonds
