Introduction to Formal Models in Computer Science
Computers - Computer Science - Theoretical. Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism. ...
www.cs.washington.edu
The Problem with Threads
Computers - Programming - Threads. Argues that for concurrent programming to become mainstream, threads must be discarded as a programming model. Nondeterminism should be judiciously and carefully int ...
top
