Process Algebras for Petri Nets The Alphabetization of Distributed Systems

This text 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 a...

Full description

Saved in:
Bibliographic Details
Main Author Gorrieri, Roberto
Format eBook Book
LanguageEnglish
Published Cham Springer Nature 2017
Springer
Springer International Publishing AG
Springer International Publishing
Edition1
SeriesMonographs in Theoretical Computer Science. An EATCS Series
Subjects
Computer Science
Data processing Computer science
Electronic data processing
Electronic data processing > Distributed processing > Mathematical models
Mathematical Logic and Foundations
Petri nets
Software engineering
Software Engineering/Programming and Operating Systems
Theory of Computation
Online AccessGet full text
ISBN3319555596
9783319555591
9783319555584
3319555588
ISSN1431-2654
2193-2069
DOI10.1007/978-3-319-55559-1

Cover

More Information
Summary:This text 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.
Bibliography:Includes bibliographical references (p. 291-297) and index
ISBN:3319555596
9783319555591
9783319555584
3319555588
ISSN:1431-2654
2193-2069
DOI:10.1007/978-3-319-55559-1