1272328
9780521400442
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, Ernst-Rüdiger is the author of 'Nets, Terms and Formulas Three Views of Concurrent Processes and Their Relationship' with ISBN 9780521400442 and ISBN 0521400449.
[read more]