Tell your friends about this item:
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship - Cambridge Tracts in Theoretical Computer Science Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany)
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship - Cambridge Tracts in Theoretical Computer Science
Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany)
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 research.
278 pages, references
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | October 3, 1991 |
| ISBN13 | 9780521400442 |
| Publishers | Cambridge University Press |
| Pages | 278 |
| Dimensions | 180 × 257 × 19 mm · 698 g |
| Language | English |