Compiling Process Networks to Interaction Nets

Mackie, I. (2016). Compiling Process Networks to Interaction Nets. Electronic Proceedings in Theoretical Computer Science, 5-14.

Type

Journal article

Intellectual base

Primary research

Year

2016

DOI

10.4204/eptcs.225.3

Link

https://doi.org/10.4204/EPTCS.225.3

Cited by

1 citation across 1 artifact.

Domain-specific

• Interaction Nets
  • This is an encoding application: the source network's stream semantics and the target net's local rewrites must be related by a correctness argument.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:a99625a737f2 · see in the full table