Towards a GPU-based implementation of interaction nets

MaRDI QIDQ4994840zbMATH OpenFDO

Authors Eugen Jiresch

Publication date 22 June 2021

Full work available at URL https://arxiv.org/abs/1404.0076, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2012.4

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1722717
• Rewriting Techniques and Applications
• A simple parallel implementation of interaction nets in Haskell
• scientific article; zbMATH DE number 1512623
• Interaction Net Implementation of Additive and Multiplicative Structures

Cited in

(5)

• Term rewriting on GPUs
• scientific article; zbMATH DE number 1722717 (Why is no real title available?)
• A simple parallel implementation of interaction nets in Haskell
• GPU based virtual machine for Sleptsov net computing
• An encoding of interaction nets in OCaml

This page was built for publication: Towards a GPU-based implementation of interaction nets

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