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

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

Apt - Verification of Sequential and Concurrent Programs - New paperba - X555z

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

Verification of Sequential and Concurrent Programs - 9781848827448

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

A Science of Concurrent Programs - 9781009719858

Synchronization Algorithms And Concurrent Programming