Nets, Terms and Formulas Three Views of Concurrent Processes and Their Relationship |
|
| Author:
| Olderog, E. -R. |
| Series title: | Cambridge Tracts in Theoretical Computer Science Ser. |
| ISBN: | 978-0-511-87848-0 |
| Publication Date: | Feb 2011 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | Contact Supplier contact
|
Book Description:
|
The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction.
The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction.