Abstract
Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading and writing actions are synchronous and there is a oneto-one relationship between occurrences of pairs of these actions. It is cumbersome to ease the restriction of synchronous execution of the read and write actions. For this reason we introduce the half-asynchronous parallel operator that acts on actions containing the symbols ¿ and ¡ and study the impact on a Vertex Removing Synchronised Product.
| Original language | Undefined |
|---|---|
| Title of host publication | 38th WoTUG WoTUG Conference on Concurrent and Parallel Programming |
| Editors | K. Chalmers, J.B. Pedersen |
| Place of Publication | Copenhagen |
| Publisher | Open Channel Publishing Ltd |
| Pages | 185-196 |
| Number of pages | 12 |
| ISBN (Print) | 978-0-9934385-1-6 |
| Publication status | Published - 27 Aug 2016 |
| Event | Communicating Process Architectures, CPA 2016: 38th WoTUG Conference on Concurrent and Parallel Programming - Copenhagen, Denmark Duration: 21 Aug 2016 → 23 Aug 2016 Conference number: 38 |
Publication series
| Name | |
|---|---|
| Publisher | Open Channel Publishing Ltd. |
Conference
| Conference | Communicating Process Architectures, CPA 2016 |
|---|---|
| Abbreviated title | CPA |
| Country/Territory | Denmark |
| City | Copenhagen |
| Period | 21/08/16 → 23/08/16 |
Keywords
- Asynchronous Write and Read Actions
- IR-102615
- CSP
- EWI-27165
- METIS-319438
- Half-Synchronous Alphabetised Parallel Operator
- Vertex Removing Synchronised Product
- CE-Advanced Robotics