Cambridge Tracts in Theoretical Computer Science - Three Views of Concurrent Processes and Their Relationship

Zusammenfassung 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. Inhaltsverzeichnis 1. Introduction; 2. Petri nets; 3. Process terms; 4. Logical formulas; 5. Process construction; 6. Extensions; References.

Détails du produit

• Auteurs: E. -R Olderog, E. R. Olderog, E. -R. (Carl V. Ossietzky Universitat Old Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg Olderog, E. -R. Olderog Olderog
• Collaboration: Samson Abramsky (Editeur), C. J. van Rijsbergen (Editeur), C. J. van Rijsbergen (Editeur)
• Edition: Cambridge University Press ELT
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 22.08.2005
• EAN: 9780521018456
• ISBN: 978-0-521-01845-6
• Pages: 280
• Thème: Cambridge Tracts in Theoretica
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Communication des données, réseaux