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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!