Modular encoding of synchronous and asynchronous interactions using open Petri nets

Paolo Baldan; Filippo Bonchi; Fabio Gadducci; Valentina Monreale

doi:10.1016/j.scico.2014.11.019

Article Dans Une Revue Science of Computer Programming Année : 2016

Modular encoding of synchronous and asynchronous interactions using open Petri nets

(1) , (2) , (3) , (4)

1
2
3
4

Paolo Baldan

Fonction : Auteur
PersonId : 831136

Dipartimento di Informatica

Filippo Bonchi

Fonction : Auteur
PersonId : 7733
IdHAL : filippo-bonchi
IdRef : 188841970

Laboratoire de l'Informatique du Parallélisme

CV

Fabio Gadducci

Fonction : Auteur
PersonId : 894474

Dipartimento di Informatica [Pisa]

Valentina Monreale

Fonction : Auteur
PersonId : 894475

Dipartimento di Informatica [Pisa]

Domaines

Logique en informatique [cs.LO]

Filippo Bonchi : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01284925

Soumis le : mardi 8 mars 2016-11:52:01

Dernière modification le : jeudi 11 mai 2023-11:56:10

Dates et versions

hal-01284925 , version 1 (08-03-2016)

Identifiants

HAL Id : hal-01284925 , version 1
DOI : 10.1016/j.scico.2014.11.019

Citer

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Valentina Monreale. Modular encoding of synchronous and asynchronous interactions using open Petri nets. Science of Computer Programming, 2016, ⟨10.1016/j.scico.2014.11.019⟩. ⟨hal-01284925⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 LIP_PLUME LABEX-MILYON UDL ANR

51 Consultations

0 Téléchargements

Modular encoding of synchronous and asynchronous interactions using open Petri nets

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager