A majority vote: modelled by asynchronous readers and asynchronous writers

Antoon Hendrik Boode, Johannes F. Broenink

    Research output: Contribution to conferencePaperpeer-review

    29 Downloads (Pure)


    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 majority vote design. Furthermore, the extension of X ⇕ Y preserves the advantages of the X ⇕ Y operator.
    Original languageEnglish
    Number of pages15
    Publication statusPublished - 22 Aug 2018
    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


    ConferenceCommunicating Process Architectures 2018
    Abbreviated titleCPA 2018


    • CSP algebra
    • Half-Synchronous Alphabetised Parallel Operator
    • Asynchronous and Synchronous Write Actions
    • Asynchronous and Synchronous Read Actions
    • (Extended) Vertex Removing Synchronised Product

    Cite this