 Interaction nets

Interaction nets are a graphical model of computation devised by Yves Lafont in 1990 as a generalisation of the proof structures of linear logic.An interaction net system is specified by a set of agent types and a set of interaction rules.