Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Softcover reprint of the original 1st ed. 2017
Book Details
Format
Paperback / Softback
ISBN-10
3319856944
ISBN-13
9783319856940
Edition
Softcover reprint of the original 1st ed. 2017
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
CH
Country of Publication
GB
Publication Date
May 9th, 2018
Print length
302 Pages
Product Classification:
Mathematical foundationsMathematical logicSoftware EngineeringMathematical theory of computation
Ksh 12,600.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
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.
Get Process Algebras for Petri Nets by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
