SMOLNET PORTAL home about changes
[root][parent][cert][raw file]

Interaction nets

siiky
2023/05/14
2023/05/14
2023/08/19
programming,formal_methods,computer_science

gemini://gemi.dev/cgi-bin/wp.cgi/view/en?Interaction_nets (gemi.dev)


A formal model of computation.

https://catcatnya.com/@arcade/110170488470969011 (https://catcatnya.com)


How do interaction nets compare with Petri nets?

petri_nets.gmi
Response: 20 (Success), text/gemini
Original URLgemini://siiky.srht.site/wiki/interaction_nets.gmi
Status Code20 (Success)
Content-Typetext/gemini; charset=utf-8