A description of the non-sequential execution of Petri nets in partially commutative linear logic - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Book Sections Year : 2017

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

Christian Retoré
Exploration et exploitation de données textuelles
CV

Domains

Computer Science [cs]

Isabelle Gouat  : Connect in order to contact the contributor

https://hal-lirmm.ccsd.cnrs.fr/lirmm-02189885

Submitted on : Saturday, July 20, 2019-3:34:30 PM

Last modification on : Friday, March 24, 2023-2:53:11 PM

No file

Dates and versions

lirmm-02189885 , version 1 (20-07-2019)

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS TEXTE LIRMM MIPS UNIV-MONTPELLIER
32 View
0 Download

Altmetric

Share

More