Asynchronous readers and writers

Autor: Boode, Antoon Hendrik, Broenink, Johannes F., Chalmers, K., Pedersen, J.B.
Rok vydání: 2016
Předmět:
Zdroj: 38th WoTUG WoTUG Conference on Concurrent and Parallel Programming, 185-196
STARTPAGE=185;ENDPAGE=196;TITLE=38th WoTUG WoTUG Conference on Concurrent and Parallel Programming
Popis: 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.
Databáze: OpenAIRE