A simple proof system for lock-free concurrency - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luís Caires, Carla Ferreira, António Ravara. A simple proof system for lock-free concurrency. In Alex Simpson, editor, International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010. Volume 12 of EPiC Series, pages 1-3, EasyChair, 2010. [doi]

This author has not been identified. Look up 'Luís Caires' in GoogleThis author has not been identified. Look up 'Carla Ferreira' in GoogleThis author has not been identified. Look up 'António Ravara' in Google

runs on WebDSL