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) - Books - Cambridge University Press - 9780521400442 - October 3, 1991
In case cover and title do not match, the title is correct

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)

Price
Ft 49,482
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 19 - Sep 1
Add to your iMusic wish list

Also available as:

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship - Cambridge Tracts in Theoretical Computer Science

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