Interaction nets

siiky

2023/05/14

2023/08/19

programming,formal_methods,computer_science

A formal model of computation.

How do interaction nets compare with Petri nets?