{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:39:17Z","timestamp":1742960357766,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":23,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811623769"},{"type":"electronic","value":"9789811623776"}],"license":[{"start":{"date-parts":[[2021,9,24]],"date-time":"2021-09-24T00:00:00Z","timestamp":1632441600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,9,24]],"date-time":"2021-09-24T00:00:00Z","timestamp":1632441600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-981-16-2377-6_72","type":"book-chapter","created":{"date-parts":[[2021,9,24]],"date-time":"2021-09-24T01:44:09Z","timestamp":1632447849000},"page":"779-789","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["CSP Machine in the Standard C++\u2009Library Context: Implementation and Sample Applications"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8804-5171","authenticated-orcid":false,"given":"Milen","family":"Loukantchevsky","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,9,24]]},"reference":[{"key":"72_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/b136154","volume-title":"Communicating sequential processes: the first 25 years","author":"A Abdallah","year":"2005","unstructured":"Abdallah A, Jones C, Sanders J (2005) Communicating sequential processes: the first 25 years. Springer, Berlin"},{"key":"72_CR2","unstructured":"Bartlomiej F (2020) C++ lambda story. https:\/\/leanpub.com\/cpplambda. Accessed 26 Sept 2020"},{"key":"72_CR3","doi-asserted-by":"crossref","unstructured":"Charousset D, Hiesgen R, Schmidt T (2014) CAF\u2014the C++ actor framework for scalable and resource-efficient applications. In: AGERE! 2014, October 20, 2014, Portland, OR, USA, ACM 978-1-4503-2189-1","DOI":"10.1145\/2687357.2687363"},{"key":"72_CR4","unstructured":"C++ Reference: The condition_variable class. https:\/\/en.cppreference.com\/w\/cpp\/thread\/condition_variable. Accessed 2020\/11\/02"},{"key":"72_CR5","unstructured":"C++ Support in Clang. http:\/\/clang.llvm.org\/cxx_status.html#cxx17. Accessed 01 Nov 2020"},{"key":"72_CR6","unstructured":"Current ISO C++ Status. https:\/\/isocpp.org\/std\/status. Accessed 27 Nov 2020"},{"key":"72_CR7","doi-asserted-by":"crossref","unstructured":"Dijkstra E (1975) Guarded Commands, nondeterminancy and formal derivation of programs. Commun ACM 18(8):453\u2013457","DOI":"10.1145\/360933.360975"},{"key":"72_CR8","volume-title":"The Go Programming language","author":"A Donovan","year":"2016","unstructured":"Donovan A, Kernighan B (2016) The Go Programming language. Pearson Education Inc., New York"},{"key":"72_CR9","unstructured":"Embarcadero RAD Studio Docwiki. http:\/\/docwiki.embarcadero.com\/RADStudio\/Sydney\/en. Accessed 01 Nov 2020"},{"key":"72_CR10","volume-title":"Discovering modern C++: an intensive course for scientists, engineers, and programmers","author":"P Gottschling","year":"2016","unstructured":"Gottschling P (2016) Discovering modern C++: an intensive course for scientists, engineers, and programmers. Pearson Education Inc., Boston"},{"key":"72_CR11","volume-title":"Professional C++","author":"M Gregoire","year":"2014","unstructured":"Gregoire M (2014) Professional C++, 3rd edn. Wiley, Indianapolis","edition":"3"},{"key":"72_CR12","doi-asserted-by":"crossref","unstructured":"Hoare CAR (1978) Communicating sequential processes. Commun ACM 21(8):666\u2013677","DOI":"10.1145\/359576.359585"},{"key":"72_CR13","volume-title":"The C++ standard library: a tutorial and reference","author":"N Josuttis","year":"2012","unstructured":"Josuttis N (2012) The C++ standard library: a tutorial and reference, 2nd edn. Pearson Education Inc., Boston","edition":"2"},{"key":"72_CR14","unstructured":"Loukantchevsky M (2020) CSP Library GitHub Repository. https:\/\/github.com\/milphaser\/CSP. Accessed 13 Dec 2020"},{"key":"72_CR15","unstructured":"Loukantchevsky M (2020) fiberOS\/CSP GitHub Repository. https:\/\/github.com\/milphaser\/fOS. Accessed 13 Dec 2020"},{"key":"72_CR16","unstructured":"Loukantchevsky M (2020) Implementation of the CSP semantics of inter-process communications using the C++11 standard library. In: Reports awarded with \u201cBest Paper\u201d crystal prize\u201459th science Conference of Ruse University, Ruse. ISBN 978-954-712-826-2"},{"key":"72_CR17","doi-asserted-by":"publisher","unstructured":"Loukantchevsky M, Kostadinov N, Avakyan H (2019) A testbed of nondeterminism in educational context. In: Proceedings of the 20th international conference on computer systems and technologies, New York, NY, USA, ACM, pp 304\u2013307. ISBN 978-1-4503-7149-0. https:\/\/doi.org\/10.1145\/3345252.3345260","DOI":"10.1145\/3345252.3345260"},{"key":"72_CR18","doi-asserted-by":"crossref","unstructured":"May D (2009) The XMOS XS1 Architecture. XMOS Ltd.","DOI":"10.1109\/HOTCHIPS.2011.7477496"},{"key":"72_CR19","unstructured":"Schneider F, Andrews G (2020) Concepts of concurrent programming. https:\/\/www.cs.cornell.edu\/fbs\/publications\/concepts_espirit.pdf. Accessed 26 Nov 2020"},{"key":"72_CR20","volume-title":"Concurrent and real-time systems: the CSP approach","author":"S Schneider","year":"2000","unstructured":"Schneider S (2000) Concurrent and real-time systems: the CSP approach. Wiley, Chichester"},{"key":"72_CR21","unstructured":"Wang Y (2020) Concurrency with Python: CSP and Coroutines. https:\/\/bytes.yingw787.com\/posts\/2019\/02\/09\/concurrency_with_python_csp_and_coroutines\/. Accessed 27 Nov 2020"},{"key":"72_CR22","unstructured":"Watt D (2009) Programming XC on XMOS Devices. XMOS Ltd."},{"key":"72_CR23","volume-title":"C++ concurrency in action: practical multithreading","author":"A Williams","year":"2012","unstructured":"Williams A (2012) C++ concurrency in action: practical multithreading. Manning Publications Co, Shelter Island"}],"container-title":["Lecture Notes in Networks and Systems","Proceedings of Sixth International Congress on Information and Communication Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-16-2377-6_72","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T19:24:41Z","timestamp":1725823481000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-16-2377-6_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,24]]},"ISBN":["9789811623769","9789811623776"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-981-16-2377-6_72","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2021,9,24]]},"assertion":[{"value":"24 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}