Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
|||
Showing 1 - 2 of 2 matches in All Departments
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.
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.
|
You may like...
Life-Span Human Development
Carol Sigelman, Elizabeth Rider
Hardcover
Cross-Cultural Psychology - Critical…
Eric B. Shiraev, David A Levy
Hardcover
Pediatric Consultation-Liaison…
Anthony P. S. Guerrero, Paul Clee, …
Hardcover
R5,506
Discovery Miles 55 060
Mathematical Reasoning of Children and…
Alina Galvao Spinillo, Sintria Labres Lautert, …
Hardcover
R4,708
Discovery Miles 47 080
Ons praat Afrikaans - diverse mense…
Douw Greeff, SA Akademie vir Wetenskap en Kuns
Hardcover
R263
Discovery Miles 2 630
Handbook of Mindfulness in Education…
Kimberly A Schonert-Reichl, Robert W. Roeser
Hardcover
Behavioral Inhibition - Integrating…
Koraly Perez-Edgar, Nathan A. Fox
Hardcover
R4,288
Discovery Miles 42 880
|