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 - 9780521018456 - August 22, 2005
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
R 1,179
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 14 - 27

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
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.

280 pages, Illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 22, 2005
ISBN13 9780521018456
Publishers Cambridge University Press
Pages 280
Dimensions 170 × 245 × 15 mm   ·   446 g
Language English  
Series Editor Abramsky, S.
Series Editor Aczel, P. H.
Series Editor Bakker, J. W. De
Series Editor Gurevich, Y.
Series Editor Tucker, J. V.
Series Editor Van Rijsbergen, C. J.

See all of Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany) ( e.g. Paperback Book and Hardcover Book )