1. Jose Bacelar Almeida, Jorge Sousa Pinto & Miguel Vilaca (2008): A tool for programming with interaction nets. Electronic Notes in Theoretical Computer Science 219, pp. 83–96, doi:10.4204/EPTCS.48.7.
  2. Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet & Bruno Pinaud (2011): PORGY: Strategy-Driven Interactive Transformation of Graphs. In: TERMGRAPH, pp. 54–68, doi:10.4204/EPTCS.48.7.
  3. Maribel Fernández & Ian Mackie (1999): A Calculus for Interaction Nets. In: Gopalan Nadathur: PPDP, LNCS 1702. Springer, pp. 170–187, doi:10.1007/10704567_10.
  4. Maribel Fernández, Ian Mackie & Jorge Sousa Pinto (2007): A Higher-Order Calculus for Graph Transformation. Electr. Notes Theor. Comput. Sci. 72(1), pp. 45–58, doi:10.1017/S0960129598002679.
  5. Abubakar Hassan, Eugen Jiresch & Shinya Sato (2010): An Implementation of Nested Pattern Matching in Interaction Nets. Electronic Proceedings in Theoretical Computer Science (EPTCS) 21, pp. 13–25, doi:10.4204/EPTCS.21.2.
  6. Abubakar Hassan, Ian Mackie & Shinya Sato (2009): Compilation of Interaction Nets. Electr. Notes Theor. Comput. Sci. 253(4), pp. 73–90. Available at
  7. Abubakar Hassan, Ian Mackie & Shinya Sato (2010): A lightweight abstract machine for interaction nets. ECEASST 29.
  8. Abubakar Hassan & Shinya Sato (2008): Interaction Nets With Nested Pattern Matching. Electr. Notes Theor. Comput. Sci. 203(1), pp. 79–92. Available at
  9. The Inets Project site [Online, accessed 20-December-2011].
  10. Eugen Jiresch (2011): Realizing Impure Functions in Interaction Nets.. ECEASST 38.
  11. Eugen Jiresch & Bernhard Gramlich (2011): Realizing Monads in Interaction Nets via Generic Typed Rules .. Technical Report.
  12. J.-W. Klop (1992): Term Rewriting Systems, chapter 1, pp. 2–117 2. Oxford University Press, doi:
  13. Yves Lafont (1990): Interaction Nets. Proceedings, 17th ACM Symposium on Principles of Programming Languages (POPL'90), pp. 95–108, doi:10.1145/96709.96718.
  14. Yves Lafont (1997): Interaction Combinators. Information and Computation 137(1), pp. 69–101, doi:10.1006/inco.1997.2643.
  15. Ian Mackie (1998): YALE: Yet Another Lambda Evaluator Based on Interaction Nets. International Conference on Functional Programming (ICFP'98), pp. 117–128, doi:10.1145/291251.289434.
  16. Ian Mackie (2010): A Visual Model of Computation. In: Jan Kratochvíl, Angsheng Li, JiríFiala & Petr Kolman: TAMC, Lecture Notes in Computer Science 6108. Springer, pp. 350–360, doi:10.1007/978-3-642-13562-0_32.
  17. Ian Mackie, Jorge Sousa Pinto & Miguel Vilaça (2007): Visual Programming with Recursion Patterns in Interaction Nets. ECEASST 6. Available at
  18. Joachim Niehren (2000): Uniform confluence in concurrent computation. J. Funct. Program. 10(5), pp. 453–499, doi: Available at

Comments and questions to:
For website issues: