Message-Observing Sessions

Kavanagh, Ryan et Pientka, Brigitte (2024). « Message-Observing Sessions ». Proceedings of the ACM on Programming Languages, 8(OOPSLA), pp. 1351-1379.

Fichier(s) associé(s) à ce document :

Prévisualisation	PDF Télécharger (360kB)

Type:	Article de revue scientifique
Mots-clés ou Sujets:	systèmes concurrents, types de sessions, spécification de programmes, types dépendants
Unité d'appartenance:	Faculté des sciences > Département d'informatique
Déposé par:	M Ryan Kavanagh
Date de dépôt:	17 déc. 2024 14:16
Dernière modification:	17 déc. 2024 14:16
Adresse URL :	http://archipel.uqam.ca/id/eprint/18366

Modifier les métadonnées (propriétaire du document)

Statistiques