Interaction Net

tags
Computer Science

Interaction nets are a distributed model of computation based on graphs of agents connected by edges. (Wikipedia)

The Kindelia people are interested in the interaction combinators, a simple interaction net which can emulate any other model of computation and which has both a reasonable physical implementation and a robust logical interpretation.