Skip to Main content Skip to Navigation
Book sections

A description of the non-sequential execution of Petri nets in partially commutative linear logic

Christian Retoré 1
1 TEXTE - Exploration et exploitation de données textuelles
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Document type :
Book sections
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-02189885
Contributor : Isabelle Gouat <>
Submitted on : Saturday, July 20, 2019 - 3:34:30 PM
Last modification on : Monday, July 22, 2019 - 1:16:14 AM

Links full text

Identifiers

Collections

Citation

Christian Retoré. A description of the non-sequential execution of Petri nets in partially commutative linear logic. Jan Van Eijck; Vincent Van Oostrom; Albert Visser. Logic Colloquium '99, Cambridge University Press, pp.152-181, 2017, Lecture Notes in Logic, ⟨10.1017/9781316755921.013⟩. ⟨lirmm-02189885⟩

Share

Metrics

Record views

78