de Roever, W-P., et.al.
Concurrency Verification: Introduction to compositional and noncompositional methods - Cambridge Cambridge University Press 2001 - xxii, 776p. - Cambridge Tracts in Theoretical Computer Science no. 54 .
978-0-521-80608-4
Concurrency Verification: Introduction to compositional and noncompositional methods - Cambridge Cambridge University Press 2001 - xxii, 776p. - Cambridge Tracts in Theoretical Computer Science no. 54 .
978-0-521-80608-4