4034214
9780521018456
The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for future research.Olderog, E. R. is the author of 'Nets, Terms and Formulas Three Views of Concurrent Processes and Their Relationship', published 2005 under ISBN 9780521018456 and ISBN 0521018455.
[read more]