Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. An EATCS Series) - Softcover

Gorrieri, Roberto

 
9783319856940: Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Softcover
ISBN 10: 3319856944 ISBN 13: 9783319856940
Verlag: Springer, 2018

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2018
Sprache
Englisch
ISBN 10 
3319856944
ISBN 13 
9783319856940
Einband
Taschenbuch
Anzahl der Seiten
316
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783319555584: Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. An EATCS Series)

Vorgestellte Ausgabe

ISBN 10:  3319555588 ISBN 13:  9783319555584
Verlag: Springer, 2017
Hardcover