ISBN 0521400449 books & textbook
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
Cambridge University Press /1991-10-25 Hardcover / 278 Pages
isbn-10: 0521400449 / isbn-13: 9780521400442