scientific article
From MaRDI portal
Publication:2852051
zbMath1273.68193MaRDI QIDQ2852051
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106003124
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items (5)
Ugo Montanari and Graph Transformation ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Bialgebraic foundations for the operational semantics of string diagrams
This page was built for publication:
