A majority vote, modelled by asynchronous readers and asynchronous writers

Antoon H. Boode*, Jan F. Broenink

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review


Reading and writing is modelled in CSP using actions containing the symbols? and!. These reading actions and writing actions are synchronous, and there is aone-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2017, we introduced the extended half-synchronous alphabetised parallel operator X ↕ Y, which disconnects the writing to and reading from a channel in time; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the reads. In this paper, we allow multiple writers to write to the same channel set-wise asynchronously, but intra-set-wise synchronously and we study the impact on our (Extended) Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ↕ Y gives more flexibility by indexing the writing actions and the reading actions, leading to a straightforward majority vote design. Furthermore, the extension of X ↕ Y preserves the advantages of the X ↕ Y operator.

Original languageEnglish
Title of host publicationCommunicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40
Subtitle of host publicationProceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40)
EditorsJan Baekgaard Pedersen, Kevin Chalmers, Jan F. Broenink, Brian Vinter, Kevin Vella, Peter H. Welch, Marc L. Smith, Kenneth Skovhede
Number of pages15
ISBN (Electronic)978-1-61499-949-2
ISBN (Print)978-1-61499-948-5
Publication statusPublished - 1 Jan 2019
EventCommunicating Process Architectures 2018: 40th WoTUG conference on concurrent and parallel systems - Technische Universität Dresden, Dresden, Germany
Duration: 19 Aug 201822 Aug 2018
Conference number: 40

Publication series

NameConcurrent Systems Engineering Series
PublisherIOS Press
ISSN (Print)1383-7575


ConferenceCommunicating Process Architectures 2018
Abbreviated titleCPA 2018


  • (Extended) vertex removing synchronised product
  • Asynchronous and synchronous read actions
  • Asynchronous and synchronous write actions
  • CSP
  • Half-synchronous alphabetised parallel operator


Dive into the research topics of 'A majority vote, modelled by asynchronous readers and asynchronous writers'. Together they form a unique fingerprint.

Cite this