A majority vote, modelled by asynchronous readers and asynchronous writers

Publikováno v: Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40. :361-375

Reading and writing is modelled in CSP using actions containing the symbols? and!. These reading actions and writing actions are synchronous, and there is aone-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dris___00893::7b5af079e260c0e3b412f195734ea525
http://www.scopus.com/inward/record.url?scp=85082387378&partnerID=8YFLogxK

Asynchronous readers and asynchronous writers

Autor: Boode, Antoon H., Broenink, Jan F., Pedersen, Jan Baekgaard, Chalmers, Kevin, Vinter, Brian, Vella, Kevin, Welch, Peter H., Smith, Marc L., Skovhede, Kenneth

Publikováno v: Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40: Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40), 81-98
STARTPAGE=81;ENDPAGE=98;TITLE=Communicating Process Architectures 2017 and 2018: WoTUG-39 and WoTUG-40
Communicating Process Architectures 2017 and 2018: Proceedings of CPA 2017 (WoTUG-39) and CPA 2018 (WoTUG-40), 81-98
STARTPAGE=81;ENDPAGE=98;TITLE=Communicating Process Architectures 2017 and 2018

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

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2605df5af6ddacb046195e9d48597f7d
https://research.utwente.nl/en/publications/asynchronous-readers-and-asynchronous-writers(a8c96859-d246-4409-8555-eaeca1e27ce4).html

A majority vote

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 conferenc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dris___00893::ec6ff442ff2f91c7bdcbaf4d5af8fc49
http://wotug.cs.unlv.edu

Asynchronous Readers and Asynchronous Writers

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 conferenc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dris___00893::0a3b3116f6fdca08dba679a387533f4f
https://doi.org/10.3233/978-1-61499-949-2-81

Asynchronous readers and writers

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 r

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dris___00893::93beade9468aa71d586b9ed8ac4e8130
http://www.wotug.org/cpa2016/preprints/