Model checking - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-07-21 20:08:24 Scheduling algorithms Threads Models of computation Scheduling Unbounded nondeterminism Model checking Monitor Multithreading Non-blocking algorithm Computing Concurrent computing Concurrency		Add to Reading List Source URL: research.microsoft.com Download Document from Source Website File Size: 770,25 KB Share Document on Facebook