Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Checking a Multithreaded Algorithm with +CAL

Leslie Lamport

Details

Publication typeInproceedings
Published inInternational Symposium on Distributed Computing (DISC)
AddressStockholm, Sweden
> Publications > Checking a Multithreaded Algorithm with +CAL