A.W. Roscoe

Understanding Concurrent Systems - New York Springer US 2010

978-1-84882-258-0


Computer Science