Nets, Terms and Formulas

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship 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. Autor: E. -R. (Carl V. Ossietzky Universitat Oldenburg Olderog Wydawnictwo: Cambridge University Press Rok wydania: 2005 Okładka: miękka Liczba stron: 280 Wymiary: 24.5 x 17 x 1.5 cm Ilustracje: Worked examples or Exercises Język: angielski ISBN: 9780521018456