Shared contract-obedient channels

Etienne Lozes; Jules Villard

doi:10.1016/j.scico.2014.09.008

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

Shared contract-obedient channels

(1, 2) , (3)

1
2
3

Etienne Lozes

Fonction : Auteur
PersonId : 169875
IdHAL : etienne-lozes
ORCID : 0000-0001-8505-585X

Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis

Laboratoire Spécification et Vérification [Cachan]

Jules Villard

Fonction : Auteur

Department of Computer Science

Domaines

Informatique [cs]

Fichier principal

LV-scp15.pdf (1.49 Mo)

Origine : Publication financée par une institution

Etienne Lozes : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01905136

Soumis le : mardi 13 novembre 2018-12:35:30

Dernière modification le : mardi 27 février 2024-03:30:36

Archivage à long terme le : jeudi 14 février 2019-12:29:17

Dates et versions

hal-01905136 , version 1 (13-11-2018)

Identifiants

HAL Id : hal-01905136 , version 1
DOI : 10.1016/j.scico.2014.09.008

Citer

Etienne Lozes, Jules Villard. Shared contract-obedient channels. Science of Computer Programming, 2015, 100, pp.28 - 60. ⟨10.1016/j.scico.2014.09.008⟩. ⟨hal-01905136⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN I3S UNIV-PARIS-SACLAY UNIV-COTEDAZUR ENS-PARIS-SACLAY

44 Consultations

37 Téléchargements

Shared contract-obedient channels

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager