Benedikt Bollig Formal Models of Communicating Systems - New York Springer US 2006 ISBN: 978-3-540-32923-7 Subjects--Topical Terms: Computer Science