Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
Inbunden, Engelska, 1991
Av Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. -R Olderog
1 959 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (1)
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.
Produktinformation
- Utgivningsdatum1991-10-03
- Mått180 x 257 x 19 mm
- Vikt670 g
- FormatInbunden
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor278
- FörlagCambridge University Press
- ISBN9780521400442