Asynchronous readers and writers

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

23 Downloads (Pure)

Abstract

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
Pages185-196
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

Name
PublisherOpen Channel Publishing Ltd.

Conference

ConferenceCommunicating Process Architectures, CPA 2016
Abbreviated titleCPA
CountryDenmark
CityCopenhagen
Period21/08/1623/08/16

Keywords

  • 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

Boode, A. H., & Broenink, J. F. (2016). Asynchronous readers and writers. In K. Chalmers, & J. B. Pedersen (Eds.), 38th WoTUG WoTUG Conference on Concurrent and Parallel Programming (pp. 185-196). Copenhagen: Open Channel Publishing Ltd.
Boode, Antoon Hendrik ; Broenink, Johannes F. / Asynchronous readers and writers. 38th WoTUG WoTUG Conference on Concurrent and Parallel Programming. editor / K. Chalmers ; J.B. Pedersen. Copenhagen : Open Channel Publishing Ltd, 2016. pp. 185-196
@inproceedings{21d5889c728a4abcad22ba944e3ac549,
title = "Asynchronous readers and writers",
abstract = "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.",
keywords = "Asynchronous Write and Read Actions, IR-102615, CSP, EWI-27165, METIS-319438, Half-Synchronous Alphabetised Parallel Operator, Vertex Removing Synchronised Product, CE-Advanced Robotics",
author = "Boode, {Antoon Hendrik} and Broenink, {Johannes F.}",
note = "eemcs-eprint-27165",
year = "2016",
month = "8",
day = "27",
language = "Undefined",
isbn = "978-0-9934385-1-6",
publisher = "Open Channel Publishing Ltd",
pages = "185--196",
editor = "K. Chalmers and J.B. Pedersen",
booktitle = "38th WoTUG WoTUG Conference on Concurrent and Parallel Programming",

}

Boode, AH & Broenink, JF 2016, Asynchronous readers and writers. in K Chalmers & JB Pedersen (eds), 38th WoTUG WoTUG Conference on Concurrent and Parallel Programming. Open Channel Publishing Ltd, Copenhagen, pp. 185-196, Communicating Process Architectures, CPA 2016, Copenhagen, Denmark, 21/08/16.

Asynchronous readers and writers. / Boode, Antoon Hendrik; Broenink, Johannes F.

38th WoTUG WoTUG Conference on Concurrent and Parallel Programming. ed. / K. Chalmers; J.B. Pedersen. Copenhagen : Open Channel Publishing Ltd, 2016. p. 185-196.

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

TY - GEN

T1 - Asynchronous readers and writers

AU - Boode, Antoon Hendrik

AU - Broenink, Johannes F.

N1 - eemcs-eprint-27165

PY - 2016/8/27

Y1 - 2016/8/27

N2 - 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.

AB - 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.

KW - Asynchronous Write and Read Actions

KW - IR-102615

KW - CSP

KW - EWI-27165

KW - METIS-319438

KW - Half-Synchronous Alphabetised Parallel Operator

KW - Vertex Removing Synchronised Product

KW - CE-Advanced Robotics

M3 - Conference contribution

SN - 978-0-9934385-1-6

SP - 185

EP - 196

BT - 38th WoTUG WoTUG Conference on Concurrent and Parallel Programming

A2 - Chalmers, K.

A2 - Pedersen, J.B.

PB - Open Channel Publishing Ltd

CY - Copenhagen

ER -

Boode AH, Broenink JF. Asynchronous readers and writers. In Chalmers K, Pedersen JB, editors, 38th WoTUG WoTUG Conference on Concurrent and Parallel Programming. Copenhagen: Open Channel Publishing Ltd. 2016. p. 185-196