Michael Alexander; William Gardner Process Algebra for Parallel and Distributed Processing - Taylor and Francis 2008 ISBN: 9780429144349 Source: EBOOK