The following pages link to From Petri nets to linear logic (Q4713398):
Displaying 19 items.
- A logical view of composition (Q685416) (← links)
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Higher categories, strings, cubes and simplex equations (Q1346409) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Categorical shape theory as a formal language for pattern recognition? (Q1924765) (← links)
- A categorical approach to lattice-valued fuzzy automata (Q2492335) (← links)
- Linear logic based calculi for object Petri nets (Q2715877) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- Indexed categories for program development (Q3986546) (← links)
- (Q4223030) (← links)
- (Q4507814) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← 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)
- Approach for Transforming Linear Constraints on Petri Nets (Q5347911) (← links)
