Baeten, J. C. M Applications of process algebra - Cambridge: Cambridge Univeristy Press, 2004 - ix, 317 p. : ill. ; 25 cm ISBN: 9780521607506 Subjects--Topical Terms: Mathematics Dewey Class. No.: 512 BAE