Pages that link to "Item:Q2508330"
From MaRDI portal
The following pages link to A categorical linear framework for Petri nets (Q2508330):
Displaying 9 items.
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Categorical simulations (Q964545) (← links)
- Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings (Q1801304) (← links)
- A natural semantic framework for ECATNets (Q1866038) (← links)
- Petri Nets, Discrete Physics, and Distributed Quantum Computation (Q3507387) (← links)
- (Q4507812) (← 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)
- A Categorical Semantics for Guarded Petri Nets (Q5100726) (← links)