Items related to Process Algebras for Petri Nets: The Alphabetization...
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. An EATCS Series) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
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.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
Search results for Process Algebras for Petri Nets: The Alphabetization...
Stock Image
Process Algebras for Petri Nets (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # c7351108e670fd5e369b76b8cdf6558c
Buy New
£ 62.20
£ 4.73 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # 6666-IUK-9783319856940
Buy New
£ 73.89
£ 4.99 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9783319856940_new
Buy New
£ 84.15
£ 11.29 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Process Algebras for Petri Nets
Published by
Springer International Publishing Mai 2018, 2018
ISBN 10: 3319856944
ISBN 13: 9783319856940
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 316 pp. Englisch. Seller Inventory # 9783319856940
Stock Image
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Softcover reprint of the original 1st ed. 2017 edition NO-PA16APR2015-KAP. Seller Inventory # 26376472933
Stock Image
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 369572538
Buy New
£ 94
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18376472943
Seller Image
Process Algebras for Petri Nets
Published by
Springer International Publishing, 2018
ISBN 10: 3319856944
ISBN 13: 9783319856940
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Relates hierarchies of classes of Petri nets and process algebrasFirst book to discuss limitations of Turing computabilityImportant for graduate students and researchers engaged with the concurrent semantics of distri. Seller Inventory # 448759362
Buy New
£ 66.16
£ 42.12 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
Published by
Springer-Verlag New York Inc, 2018
ISBN 10: 3319856944
ISBN 13: 9783319856940
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. reprint edition. 302 pages. 9.25x6.10x0.79 inches. In Stock. Seller Inventory # x-3319856944
Buy New
£ 106.96
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Process Algebras for Petri Nets
Published by
Springer, Palgrave Macmillan Mai 2018, 2018
ISBN 10: 3319856944
ISBN 13: 9783319856940
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 316 pp. Englisch. Seller Inventory # 9783319856940