00291nam a2200109Ia 4500008004100000020002200041041001200063100001600075245003700091260003200128650002100160231221s9999 xx 000 0 und d a978-1-84882-258-0 aEnglish aA.W. Roscoe 0aUnderstanding Concurrent Systems c2010bSpringer USaNew York aComputer Science