Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

(Bog, Paperback / softback, Engelsk)

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter E. -R. (Carl V. Ossietzky Universitat Oldenburg Olderog
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 22-08-2005
Første udgivelsesår 2005
Serie Cambridge Tracts in Theoretical Computer Science
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 280
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 280 pages, Worked examples or Exercises
Mål 245 x 170 x 15
ISBN-13 / EAN-13 9780521018456