3b.1 Asynchronous systems

Slides for lecture 3a and 3b:  Download 3._Basic_abstractions.pdf