Olderog, E. R. books & textbook
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
Cambridge University Press /1991-10-25 Hardcover / 278 Pages
isbn-10: 0521400449 / isbn-13: 9780521400442
Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)
Neuhold, Erich J. Paul, Manfred Apt, K.R. Astesiano, E. Bjorner, D. Broy, M. Cardelli, L. Mosses, P.D. Olderog, E.-R. Wirsing, M.
Springer /1991-10-04 Hardcover / 518 Pages
isbn-10: 3540539611 / isbn-13: 9783540539612
