Probabilistic Process Algebra and Strategic Interleaving
We first present a probabilistic version of ACP that rests on the principle that probabilistic choices are always resolved before choices involved in alternative composition and parallel composition are resolved and then extend this probabilistic version of ACP with a form of interleaving in which p...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Alexandru Ioan Cuza University of Iasi
2020-12-01
|
| Series: | Scientific Annals of Computer Science |
| Subjects: | |
| Online Access: | https://www.info.uaic.ro/en/sacs_articles/probabilistic-process-algebra-and-strategic-interleaving/ |