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 metadatas

https://hal.inria.fr/hal-01248205
Contributor : Alain Monteil <>
Submitted on : Thursday, December 24, 2015 - 9:43:10 AM
Last modification on : Thursday, March 21, 2019 - 1:07:01 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

186