Title: Semantics of Concurrent Computation
Subjects: Computer programs, Computer science