
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 · 670 g |
Language | English |