Chapter 11: Algebraic laws for probabilistic true concurrency


This chapter introduces an axiomatization for probabilistic computing in true concurrency.


Probabilistic Computing; Axiomatization; True Concurrency

The theory APPTCImage (Algebra of Probabilistic Processes for True Concurrency) has four modules: BAPTCImage (Basic Algebra for Probabilistic True Concurrency), APPTCImage (Algebra for Parallelism in Probabilistic True Concurrency), recursion, ...

Get Handbook of Truly Concurrent Process Algebra now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.