scientific article; zbMATH DE number 1512711
From MaRDI portal
Publication:4508401
zbMath0962.68124MaRDI QIDQ4508401
Publication date: 3 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Operational equivalence for interaction nets. ⋮ A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine
This page was built for publication: