
Conte aos seus amigos sobre este 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
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 3 de outubro de 1991 |
ISBN13 | 9780521400442 |
Editoras | Cambridge University Press |
Páginas | 278 |
Dimensões | 180 × 257 × 19 mm · 670 g |
Idioma | English |