This book discusses the semantic foundations of concurrent systems
with nondeterministic and probabilistic behaviour. Particular
attention is given to clarifying the relationship between testing
and simulation semantics and characterising bisimulations from
metric, logical, and algorithmic perspectives. Besides presenting
recent research outcomes in probabilistic concurrency theory, the
book exemplifies the use of many mathematical techniques to solve
problems in computer science, which is intended to be accessible to
postgraduate students in Computer Science and Mathematics. It can
also be used by researchers and practitioners either for advanced
study or for technical reference.
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!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
