- Title
- A description of the non-sequential execution of Petri nets in partially commutative linear logic
- Creators - without role
- Christian Retoré - Exploration et exploitation de données textuelles
- Contributors - without role
- Jan Van EijckVincent Van OostromAlbert Visser
- Publication Details
- Logic Colloquium '99, pp.152-181
- Series
- Lecture Notes in Logic
- Identifiers
- 9946223509311
- Academic Unit
- Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
- Language
- English
- Resource Type
- Book chapter
- Local Fields
- lirmm-02189885
Book chapter
A description of the non-sequential execution of Petri nets in partially commutative linear logic
Logic Colloquium '99, pp.152-181
Lecture Notes in Logic
2017
Metrics
1 Record Views