Searching for "Linear Logic on Petri Nets." – sorted by Relevance.
-
Linear Logic on Petri Nets
- BRICS Basic Research in Computer Science Linear Logic on Petri Nets Uffe H. Engberg Glynn Winskel
- Cited by 15 (1 self) – Add To MetaCart
-
Completeness Results for Linear Logic on Petri Nets
- Completeness Results for Linear Logic on Petri Nets Uffe Engberg Glynn Winskel Computer Science
- Add To MetaCart
-
Completeness Results for Linear Logic on Petri Nets
- Completeness Results for Linear Logic on Petri Nets (Extended Abstract) Uffe Engberg Glynn Winskel
- Add To MetaCart
-
Categorical Multirelations, Linear Logic and Petri Nets
- Categorical Multirelations, Linear Logic and Petri Nets (DRAFT) Valeria de Paiva May 31, 1991
- Cited by 3 (1 self) – Add To MetaCart
-
Completeness Results for Linear Logic on Petri Nets (Extended Abstract)
- Completeness Results for Linear Logic on Petri Nets (Extended Abstract) Uffe Engberg Glynn Winskel
- Cited by 30 (1 self) – Add To MetaCart
-
Towards Linear Logic Petri Nets - From P/T-Nets to Object Systems
- Towards Linear Logic Petri Nets From P/T-Nets to Object Systems Berndt Farwer Universitat Hamburg
- Cited by 2 (2 self) – Add To MetaCart
-
Petri Nets as Models of Linear Logic
- Petri Nets as Models of Linear Logic Uffe Engberg Glynn Winskel Computer Science Department Aarhus
- Cited by 33 (3 self) – Add To MetaCart
-
Petri Nets as Models of Linear Logic
- Petri Nets as Models of Linear Logic Uffe Engberg Glynn Winskel Computer Science Department Aarhus
- Add To MetaCart
-
A Linear Logic View of Object Systems
- is generalized to coloured nets. Furthermore a new kind of Petri nets is dened: Linear Logic Petri Nets (LLPN
- Cited by 1 (1 self) – Add To MetaCart
-
A description of the non-sequential execution of Petri-nets in partially commutative linear logic
- AUTOMATIQUE A description of the non-sequential execution of Petri-nets in partially commutative linear logic
- Cited by 4 (3 self) – Add To MetaCart

