Modular encoding of synchronous and asynchronous interactions using open Petri nets - Archive ouverte HAL
Article Dans Une Revue Science of Computer Programming Année : 2016

Modular encoding of synchronous and asynchronous interactions using open Petri nets

Paolo Baldan
  • Fonction : Auteur
  • PersonId : 831136
Dipartimento di Informatica
Filippo Bonchi
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 : dimanche 17 novembre 2024-14:42:04

Consulter le texte intégral

Dates et versions

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

Identifiants

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
64 Consultations
0 Téléchargements

Altmetric

Partager

More