Compiling process networks to interaction nets

zbMATH Open1482.68155arXiv1609.03640MaRDI QIDQ5015372FDOQ5015372

Authors: Ian Mackie 

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1609.03640

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Static analysis of run-time modes in Kahn process networks
• Kahn networks at the dawn of functional programming
• Title not available (Why is that?)

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)