Pages that link to "Item:Q1361243"
From MaRDI portal
The following pages link to Completeness results for linear logic on Petri nets (Q1361243):
Displaying 10 items.
- A logic of separating modalities (Q290917) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- A Modal BI Logic for Dynamic Resource Properties (Q3455841) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
