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 Access content directly
Book Sections Year : 2017

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

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⟩
23 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More