Recherche - Archive ouverte HAL

3 résultats

	Pour les 3 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Actors may synchronize, safely! * Elena Giachino , Ludovic Henrio , Cosimo Laneve , Vincenzo Mastandrea PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming , Sep 2016, Edinburgh, United Kingdom Communication dans un congrès hal-01345315v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Analysis of synchronisation patterns in stateful active objects Ludovic Henrio , Cosimo Laneve , Vincenzo Mastandrea [Research Report] I3S; Inria - Sophia antipolis. 2017 Rapport hal-01542595v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Analysis of Synchronisations in Stateful Active Objects Ludovic Henrio , Cosimo Laneve , Vincenzo Mastandrea IFM 2017 - 13th International Conference on Integrated Formal Methods, Sep 2017, Torino, France. ⟨10.1007/978-3-540-74792-5_5⟩ Communication dans un congrès hal-01627866v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats