2023-10-10 Petri nets
2023-09-14 Jörgen Brandt, Wolfgang Reisig, "Modeling Erlang Processes as Petri Nets"
2023-09-13 Jörgen Brandt, "Beyond state machines: services as petri nets"
2023-05-14 Interaction nets
2023-09-14 Jörgen Brandt, Wolfgang Reisig, "Modeling Erlang Processes as Petri Nets"
2023-09-13 Jörgen Brandt, "Beyond state machines: services as petri nets"
2023-05-14 Interaction nets
Response: 20 (Success), text/gemini
| Original URL | gemini://siiky.srht.site/wiki/tag/formal_methods.gmi |
|---|---|
| Status Code | 20 (Success) |
| Content-Type | text/gemini; charset=utf-8 |