scientific article; zbMATH DE number 2080217
From MaRDI portal
Publication:4472460
zbMath1044.68079MaRDI QIDQ4472460
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1974/19740373.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (2)
Analysing input/output-capabilities of mobile processes with a generic type system ⋮ A general framework for types in graph rewriting
This page was built for publication:
