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.
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.
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.
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.
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.
Abubakar Hassan, Ian Mackie & Shinya Sato (2009):
Compilation of Interaction Nets.
Electr. Notes Theor. Comput. Sci. 253(4),
pp. 73–90.
Available at http://dx.doi.org/10.1016/j.entcs.2009.10.018.
Abubakar Hassan, Ian Mackie & Shinya Sato (2010):
A lightweight abstract machine for interaction nets.
ECEASST 29.
Abubakar Hassan & Shinya Sato (2008):
Interaction Nets With Nested Pattern Matching.
Electr. Notes Theor. Comput. Sci. 203(1),
pp. 79–92.
Available at http://dx.doi.org/10.1016/j.entcs.2008.03.035.
The Inets Project site [Online, accessed 20-December-2011].
http://gna.org/projects/inets.
Eugen Jiresch (2011):
Realizing Impure Functions in Interaction Nets..
ECEASST 38.
Eugen Jiresch & Bernhard Gramlich (2011):
Realizing Monads in Interaction Nets via Generic Typed Rules ..
http://www.logic.at/staff/gramlich/papers/techrep-e1852-2011-01.pdf.
Technical Report.
J.-W. Klop (1992):
Term Rewriting Systems, chapter 1,
pp. 2–117 2.
Oxford University Press,
doi:10.1.1.35.425.
Yves Lafont (1990):
Interaction Nets.
Proceedings, 17th ACM Symposium on Principles of Programming Languages (POPL'90),
pp. 95–108,
doi:10.1145/96709.96718.
Yves Lafont (1997):
Interaction Combinators.
Information and Computation 137(1),
pp. 69–101,
doi:10.1006/inco.1997.2643.
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.
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.