Probabilistic imperative process algebra
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...
Guardado en:
| Hovedforfatter: | |
|---|---|
| Format: | Artículo |
| Udgivet: |
2026
|
| Fag: | |
| Online adgang: | https://arxiv.org/abs/2605.18362 http://arxiv.org/abs/2605.18362 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|