CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  External Talks & Seminars  \  External Talk Page Login  
   
banner bottom
File Top
A simple proof system for lock-free concurrency
(Research Talk)

By: António Ravara


Date: 10 Jul 2010

Location/Event: Proof Systems for Program Logics - A LICS 2010-affiliated workshop at FLoC 2010

url: http://homepages.inf.ed.ac.uk/als/PSPL2010/

File Bottom