The following pages link to From petri nets to linear logic (Q5096267):
Displaying 26 items.
- Preface to the special volume (Q534064) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Decision problems for propositional linear logic (Q1192352) (← links)
- Linear logic as a logic of computations (Q1326780) (← links)
- On proof normalization in linear logic (Q1342248) (← links)
- Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings (Q1801304) (← links)
- Order algebras as models of linear logic (Q1826927) (← links)
- Petri nets, Horn programs, linear logic and vector games (Q1899147) (← links)
- Linear logic for nets with bounded resources (Q1919758) (← links)
- Linear logic automata (Q1919766) (← links)
- A categorical linear framework for Petri nets (Q2508330) (← links)
- Linear logic based calculi for object Petri nets (Q2715877) (← links)
- The completeness of linear logic for Petri net models (Q2743640) (← links)
- A concurrent model for linear logic (Q2852348) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- (Q4223030) (← links)
- Introduction to linear bicategories (Q4487269) (← links)
- Relating State-Based and Process-Based Concurrency through Linear Logic (Q4917995) (← links)
- Concurrent systems analysis using ECATNets (Q4952022) (← links)
- Approach for Transforming Linear Constraints on Petri Nets (Q5347911) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)
- Holomorphic models of exponential types in linear logic (Q5890062) (← links)
- A monoidal closed category of event structures (Q6116584) (← links)
