Verification of population protocols

Javier Esparza; Pierre Ganty; Jérôme Leroux; Rupak Majumdar

doi:10.1007/s00236-016-0272-3

Article Dans Une Revue Acta Informatica Année : 2017

Verification of population protocols

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

1
2
3
4

Javier Esparza

Fonction : Auteur
PersonId : 1308771
ORCID : 0000-0001-9862-4919

Institut für Informatik

Pierre Ganty

Fonction : Auteur
PersonId : 905432

Institute IMDEA Software [Madrid]

Jérôme Leroux

Fonction : Auteur
PersonId : 1216
IdHAL : jerome-leroux
IdRef : 079082742

Laboratoire Bordelais de Recherche en Informatique

CV

Rupak Majumdar

Fonction : Auteur
PersonId : 1363437
ORCID : 0000-0003-2136-0542

Computer Science Department [Los Angeles]

Domaines

Informatique [cs]

Fichier principal

esparza2016.pdf (283.18 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Jérôme Leroux : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02391804

Soumis le : jeudi 14 novembre 2024-10:40:50

Dernière modification le : mardi 19 novembre 2024-03:10:32

Dates et versions

hal-02391804 , version 1 (14-11-2024)

Identifiants

HAL Id : hal-02391804 , version 1
DOI : 10.1007/s00236-016-0272-3

Citer

Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar. Verification of population protocols. Acta Informatica, 2017, 54 (2), pp.191-215. ⟨10.1007/s00236-016-0272-3⟩. ⟨hal-02391804⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-BORDEAUX

25 Consultations

0 Téléchargements

Verification of population protocols

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager