Asynchronous readers and writers

Antoon Hendrik Boode, Johannes F. Broenink

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

    67 Downloads (Pure)


    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 languageUndefined
    Title of host publication38th WoTUG WoTUG Conference on Concurrent and Parallel Programming
    EditorsK. Chalmers, J.B. Pedersen
    Place of PublicationCopenhagen
    PublisherOpen Channel Publishing Ltd
    Number of pages12
    ISBN (Print)978-0-9934385-1-6
    Publication statusPublished - 27 Aug 2016
    EventCommunicating Process Architectures, CPA 2016: 38th WoTUG Conference on Concurrent and Parallel Programming - Copenhagen, Denmark
    Duration: 21 Aug 201623 Aug 2016
    Conference number: 38

    Publication series

    PublisherOpen Channel Publishing Ltd.


    ConferenceCommunicating Process Architectures, CPA 2016
    Abbreviated titleCPA


    • Asynchronous Write and Read Actions
    • IR-102615
    • CSP
    • EWI-27165
    • METIS-319438
    • Half-Synchronous Alphabetised Parallel Operator
    • Vertex Removing Synchronised Product
    • CE-Advanced Robotics

    Cite this