Compiling process networks to interaction nets

MaRDI QIDQ5015372zbMATH OpenFDO

Authors Ian Mackie

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1609.03640, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TERMGRAPH2016.3

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Publication:4733393
• Compilation of interaction nets
• Interaction Net Implementation of Additive and Multiplicative Structures
• A non-standard semantics for Kahn networks in continuous time
• CONCUR 2005 – Concurrency Theory

Cites work

• scientific article; zbMATH DE number 3759516 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 3566181 (Why is no real title available?)
• An implementation model for interaction nets

Cited in

(4)

• Static analysis of run-time modes in Kahn process networks
• scientific article; zbMATH DE number 1956562 (Why is no real title available?)
• scientific article; zbMATH DE number 3845063 (Why is no real title available?)
• Kahn networks at the dawn of functional programming

This page was built for publication: Compiling process networks to interaction nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015372)