Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science)

by: Willem-Paul de Roever · Frank de Boer · Ulrich Hanneman · Jozef Hooman · Yassine Lakhnech · Mannes Poel · Job Zwiers Hardcover details (UK). ISBN: 978-0-521-80608-4 ISBN-10: 0-521-80608-9 Cambridge University Press · 2001