Verification of Sequential and Concurrent Programs K. R., Olderog

Verification of Sequential and Concurrent Programs - 9781447125136

Verification of Sequential and Concurrent Programs (Texts in Computer Scienc...

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Programming Erlang: Software for a Concurrent World by Armstrong, Joe

Functional and Concurrent Programming: Core Concepts and Features by Michel Char

A Science of Concurrent Programs by Leslie Lamport Hardcover Book

A Science of Concurrent Programs - 9781009719858