Practical proofs of concurrent programs

Marc Shapiro 1
1 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : no abstract
Type de document :
Communication dans un congrès
Int. Conf. on Functional Programming (ICFP), Sep 2006, Portland, Oregon, United States. Assoc. for Computing Machinery, pp.123--123, 2006, 〈10.1145/1159803.1159819〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01248205
Contributeur : Alain Monteil <>
Soumis le : jeudi 24 décembre 2015 - 09:43:10
Dernière modification le : vendredi 25 mai 2018 - 12:02:04

Identifiants

Collections

Citation

Marc Shapiro. Practical proofs of concurrent programs. Int. Conf. on Functional Programming (ICFP), Sep 2006, Portland, Oregon, United States. Assoc. for Computing Machinery, pp.123--123, 2006, 〈10.1145/1159803.1159819〉. 〈hal-01248205〉

Partager

Métriques

Consultations de la notice

155