scientific article; zbMATH DE number 1361132
From MaRDI portal
Publication:4270069
zbMath0940.68094MaRDI QIDQ4270069
Publication date: 10 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hypergraphs (05C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Special categories (18B99)
Related Items
A generic type system for the pi-calculus ⋮ Analysing input/output-capabilities of mobile processes with a generic type system ⋮ A general framework for types in graph rewriting