Microsoft Research
Microsoft Translator |
Checking a Multithreaded Algorithm with +CAL

Leslie Lamport
September 2006

dcas.pdf
PDF file

In  International Symposium on Distributed Computing (DISC)

Details

TypeInproceedings
AddressStockholm, Sweden
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Checking a Multithreaded Algorithm with +CAL