Chapitre D'ouvrage
Année : 2017
Isabelle Gouat : Connectez-vous pour contacter le contributeur
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02189885
Soumis le : samedi 20 juillet 2019-15:34:30
Dernière modification le : vendredi 24 mars 2023-14:53:11
Citer
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⟩
Collections
36
Consultations
0
Téléchargements