scientific article; zbMATH DE number 2090088
From MaRDI portal
Publication:4808763
zbMath1045.68593MaRDI QIDQ4808763
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2378/23780380.htm
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 (9)
Unnamed Item ⋮ Unnamed Item ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ The graphical Krivine machine ⋮ Recursive Functions with Pattern Matching in Interaction Nets ⋮ Compilation of Interaction Nets ⋮ From Functional Programs to Interaction Nets via the Rewriting Calculus ⋮ Hard combinators ⋮ Interaction Nets With Nested Pattern Matching
This page was built for publication:
