Extending the interaction nets calculus by generic rules

MaRDI QIDQ4986739zbMATH OpenFDO

Authors Eugen Jiresch

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1211.4102, http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2012.2

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 1487844
• Realizing monads in interaction nets via generic typed rules
• Interaction nets with nested pattern matching
• Macros for interaction nets: a conservative extension of interaction nets
• Interaction Net Implementation of Additive and Multiplicative Structures

Cited in

(7)

• Macros for interaction nets: a conservative extension of interaction nets
• A calculus for interaction nets based on the linear chemical abstract machine
• Interaction nets with nested pattern matching
• Realizing monads in interaction nets via generic typed rules
• scientific article; zbMATH DE number 1487844 (Why is no real title available?)
• Integrating TwoTowers and GreatSPN through a compact net semantics
• A port graph rewriting approach to relational database modelling

This page was built for publication: Extending the interaction nets calculus by generic rules

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