Probabilistic imperative process algebra
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910232535367680 |
|---|---|
| author | Middelburg, C. A. |
| author_facet | Middelburg, C. A. |
| contents | In a previous paper, a process algebra based on ACP (Algebra of Communicating Processes) was proposed in which processes involving data can be handled by means of features originating from imperative programming. In this paper, an extension of that process algebra with probabilistic choice operators is presented that rests on the principle that probabilistic choices are always resolved before choices involved in alternative composition and parallel composition are resolved. This extension can be useful, among other things, for specifying the patterns of behaviour expressed by algorithms that are important in the area of distributed computing and verifying properties about them. Many canonical problems in that area, such as the leader election problem and the consensus problem, call for a probabilistic algorithm. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_18362 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Probabilistic imperative process algebra Middelburg, C. A. Logic in Computer Science D.1.3; D.2.4; F.1.2; F.3.1 In a previous paper, a process algebra based on ACP (Algebra of Communicating Processes) was proposed in which processes involving data can be handled by means of features originating from imperative programming. In this paper, an extension of that process algebra with probabilistic choice operators is presented that rests on the principle that probabilistic choices are always resolved before choices involved in alternative composition and parallel composition are resolved. This extension can be useful, among other things, for specifying the patterns of behaviour expressed by algorithms that are important in the area of distributed computing and verifying properties about them. Many canonical problems in that area, such as the leader election problem and the consensus problem, call for a probabilistic algorithm. |
| title | Probabilistic imperative process algebra |
| topic | Logic in Computer Science D.1.3; D.2.4; F.1.2; F.3.1 |
| url | https://arxiv.org/abs/2605.18362 |