Pages that link to "Item:Q2508330"

The following pages link to A categorical linear framework for Petri nets (Q2508330):

Displaying 2 items.

• Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
• Categorical simulations (Q964545) (← links)