Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01248205
Contributor : Alain Monteil Connect in order to contact the contributor
Submitted on : Thursday, December 24, 2015 - 9:43:10 AM
Last modification on : Friday, January 8, 2021 - 5:46:03 PM

Identifiers

Citation

Marc Shapiro. Practical proofs of concurrent programs. Int. Conf. on Functional Programming (ICFP), Sep 2006, Portland, Oregon, United States. pp.123--123, ⟨10.1145/1159803.1159819⟩. ⟨hal-01248205⟩

Share

Metrics

Record views

222