Space-time process algebra with asynchronous communication
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915165880975360 |
|---|---|
| author | Bergstra, J. A. Middelburg, C. A. |
| author_facet | Bergstra, J. A. Middelburg, C. A. |
| contents | We introduce a process algebra that concerns the timed behaviour of distributed systems with a known spatial distribution. This process algebra provides a communication mechanism that deals with the fact that a datum sent at one point in space can only be received at another point in space at the point in time that the datum reaches that point in space. The variable-binding integration operator used in related process algebras to model such a communication mechanism is absent from this process algebra. This is considered an advantage because the variable-binding operator does not really fit in with an algebraic approach and a process algebra with this operator is not firmly founded in established metatheory. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_15120 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Space-time process algebra with asynchronous communication Bergstra, J. A. Middelburg, C. A. Logic in Computer Science C.2.4; D.2.1; D.2.4; F.1.2; F.3.1 We introduce a process algebra that concerns the timed behaviour of distributed systems with a known spatial distribution. This process algebra provides a communication mechanism that deals with the fact that a datum sent at one point in space can only be received at another point in space at the point in time that the datum reaches that point in space. The variable-binding integration operator used in related process algebras to model such a communication mechanism is absent from this process algebra. This is considered an advantage because the variable-binding operator does not really fit in with an algebraic approach and a process algebra with this operator is not firmly founded in established metatheory. |
| title | Space-time process algebra with asynchronous communication |
| topic | Logic in Computer Science C.2.4; D.2.1; D.2.4; F.1.2; F.3.1 |
| url | https://arxiv.org/abs/2409.15120 |