Programming Distributed Computing Systems More Books by Carlos A. Varela

Concurrent Programming, Open Systems and Formal Methods