Process Algebras for Petri Nets
85,59 €*
Nach dem Kauf zum Download bereit Ein Downloadlink ist wenige Minuten nach dem Kauf im eigenen Benutzerprofil verfügbar.
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory.
It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computer science.
Roberto Gorrieri is a professor in the Università di Bologna. His research and teaching interests include theoretical computer science, particularly concurrency, the foundations of software engineering, and the foundations of security. He coauthored the textbook 'Introduction to Concurrency Theory: Transition Systems and CCS' in 2015, and he has authored over 140 formal academic publications. He received his PhD in Computer Science from the Università di Pisa.
| Autor: | Roberto Gorrieri |
|---|---|
| EAN: | 9783319555591 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 13.04.2017 |
| Untertitel: | The Alphabetization of Distributed Systems |
| Kategorie: | |
| Schlagworte: | Concurrency Distributed Computing Models of Computation Petri Nets Process Algebras Process Calculus |
Anmelden
Möchten Sie lieber vor Ort einkaufen?
Haben Sie weiterführende Fragen zu diesem Buch oder anderen Produkten? Oder möchten Sie einfach doch lieber in der Buchhandlung stöbern? Wir sind gern persönlich für Sie da und beraten Sie auch telefonisch.
Bergische Buchhandlung R. Schmitz
Wetterauer Str. 6
42897 Remscheid-Lennep
Telefon: 02191/668255
Mo – Fr10:00 – 18:00 UhrSa09:00 – 13:00 Uhr