Paper Details

Communicating Process Architectures (CPA)
 Title: A Majority Vote, Modelled by Asynchronous Readers and Asynchronous Writers
 Conference: Communicating Process Architectures 2018
 Authors: Antoon H. Boode, Jan F. Broenink
Robotics and Mechatronics, CTIT Institute, University of Twente
 Abstract: Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading actions and writing actions are synchronous, and there is a one-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 priority vote design. Furthermore, the extension of X ↕ Y preserves the advantages of the X ↕ Y operator. 

BibTeX Entry

Full paper