Pages that link to "Item:Q2508330"
From MaRDI portal
The following pages link to A categorical linear framework for Petri nets (Q2508330):
Displaying 4 items.
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Categorical simulations (Q964545) (← links)
- Relating State-Based and Process-Based Concurrency through Linear Logic (Q4917995) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
