A.W. Roscoe Understanding Concurrent Systems - New York Springer US 2010 ISBN: 978-1-84882-258-0 Subjects--Topical Terms: Computer Science