Extending the Interaction Nets Calculus by Generic Rules

TL;DR

This paper extends the interaction nets calculus with generic rules, ensuring confluence, and discusses their implementation in the inets language, enhancing the expressiveness and reliability of interaction nets modeling.

Contribution

Introduces generic rules into the interaction nets calculus with constraints to maintain confluence and details their implementation in the inets language.

Findings

Generic rules preserve uniform confluence.

Implementation in inets supports extended interaction nets.

Framework enhances expressiveness of interaction nets.

Abstract

We extend the textual calculus for interaction nets by generic rules and propose constraints to preserve uniform confluence. Furthermore, we discuss the implementation of generic rules in the language inets, which is based on the lightweight interaction nets calculus.