{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T19:53:07Z","timestamp":1725997987990},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319980461"},{"type":"electronic","value":"9783319980478"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-98047-8_11","type":"book-chapter","created":{"date-parts":[[2018,10,23]],"date-time":"2018-10-23T21:05:49Z","timestamp":1540328749000},"page":"165-184","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using CSP to Develop Quality Concurrent Software"],"prefix":"10.1007","author":[{"given":"Derrick G.","family":"Kourie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tinus","family":"Strauss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loek","family":"Cleophas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce W.","family":"Watson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"key":"11_CR1","unstructured":"Gustavo Carvalho et al. \u201cNAT2TEST tool: From natural language requirements to test cases based on CSP\u201d. In: Software Engineering and Formal Methods Springer, 2015, pp. 283\u2013290."},{"key":"11_CR2","first-page":"65","volume-title":"Concurrency, Security, and Puzzles","author":"Thomas Gibson-Robinson","year":"2016","unstructured":"Thomas Gibson-Robinson et al. \u201cFDR: From Theory to Industrial Application\u201d. In: Concur rency Security and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday Ed. by Thomas Gibson-Robinson, Philippa Hopcroft, and Ranko Lazic\u0107 Cham: Springer International Publishing, 2017, pp. 65\u201387. ISBN: 978-3-319-51046-0. DOI: 10.1007\/978-3-319-51046-0_4. URL: https:\/\/doi.org\/10.1007\/978-3-319-51046-0_4"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Thomas Gibson-Robinson et al. \u201cFDR3 \u2014 A Modern Refinement Checker for CSP\u201d. In: Tools and Algorithms for the Construction and Analysis of Systems. Ed. by Erika \u00c1brah\u00e1m and Klaus Havelund. Vol. 8413. Lecture Notes in Computer Science. 2014, pp. 187\u2013201.","DOI":"10.1007\/978-3-642-54862-8_13"},{"key":"11_CR4","unstructured":"Hassan Gommaa. Software Design Methods for Concurrent and Real-Time Systems Addison- Wesley Professional, 1993."},{"key":"11_CR5","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Ed. by Jim Davis. (Electronic version). 2004. URL: http:\/\/www.usingcsp.com\/cspbook.pdf (visited on 09\/16\/2016)."},{"issue":"1","key":"11_CR6","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1145\/357980.358021","volume":"26","author":"C. A. R. Hoare","year":"1983","unstructured":"C. A. R. Hoare. \u201cCommunicating sequential processes\u201d. In: Communications of the ACM 26.1 (1983), pp. 100\u2013106.","journal-title":"Communications of the ACM"},{"key":"11_CR7","unstructured":"J. Magee and J. Kramer. Concurrency: State models and Java Programs. 2nd ed. John Wiley, 2006."},{"issue":"4","key":"11_CR8","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"Susan Owicki","year":"1976","unstructured":"Susan Owicki and David Gries. \u201cAn axiomatic proof technique for parallel programs I\u201d. In: Acta Informatica 6.4 (Dec. 1976), pp. 319\u2013340. ISSN: 1432-0525. DOI: 10.1007\/BF00268134. URL: https:\/\/doi.org\/10.1007\/BF00268134 .","journal-title":"Acta Informatica"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Carl G. Ritson and Peter H. Welch. \u201cA Process-Oriented Architecture for Complex System Modelling\u201d. In: Concurrency and Computation: Practice and Experience 22 (Mar. 2010), pp. 182\u2013196. DOI: 10.1002\/cpe.1433 URL: http:\/\/wwwcs.kent.acuk\/pubs\/2010\/3066 .","DOI":"10.1002\/cpe.1433"},{"key":"11_CR10","series-title":"Texts in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-258-0","volume-title":"Understanding Concurrent Systems","author":"A.W. Roscoe","year":"2010","unstructured":"A. W. Roscoe. Understanding Concurrent Systems. 1st. New York, NY, USA: Springer Verlag New York, Inc., 2010. ISBN: 9781848822573."},{"key":"11_CR11","unstructured":"Marlene Maria Ross. \u201cUnity-inspired object-oriented concurrent system development\u201d. PhD thesis. University of Pretoria, 2001."},{"key":"11_CR12","volume-title":"Process-oriented Patterns for Concurrent Software Engineering","author":"Adam T Sampson","year":"2008","unstructured":"Adam T. Sampson. \u201cProcess-oriented Patterns for Concurrent Software Engineering\u201d. D.Phil thesis. University of Kent, 2008."},{"key":"11_CR13","unstructured":"Marthinus David Strauss. \u201cProcess-based Decomposition and Multicore Performance: Case Studies from Stringology\u201d. PhD thesis. University of Pretoria, 2017."},{"key":"11_CR14","unstructured":"Tinus Strauss et al. \u201cA Process-Oriented Implementation of Brzozowski\u2019s DFA Construction Algorithm\u201d. In: Proceedings of the Prague Stringology Conference 2014, Prague Czech Republic, September 1\u20133, 2014. Ed. by Jan Holub and Jan Zd\u00e1rek. Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, 2014, pp. 17\u201329. ISBN: 978-80-01-05547-2."},{"key":"11_CR15","unstructured":"Tinus Strauss et al. \u201cProcess-Based Aho-Corasick Failure Function Construction\u201d. In: Communicating Process Architectures 2015. Proceedings of the 37th WoTUG Technical Meeting 23\u201326 August 2015, University of Kent, UK. Ed. by Kevin Chalmers et al. Open Channel Publishing Ltd., 2015, pp. 183\u2013206. ISBN: 0993438504. URL: http:\/\/wotug.org\/cpa2015\/programme.shtml ."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Peter H. Welch and Jan B. Pedersen. \u201cSanta Claus: Formal Analysis of a Process-oriented Solution\u201d. In: ACM Transactions on Programming Languages and Systems 32.4 (Apr 2010), 14:1\u201314:37. ISSN: 0164-0925. DOI: 1.1145\/1734206.1734211 URL: http:\/\/doi.acm.org\/10.1145\/1734206.1734211 .","DOI":"10.1145\/1734206.1734211"},{"issue":"1","key":"11_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0164-1212(01)00130-3","volume":"62","author":"J.Christopher Westland","year":"2002","unstructured":"J. Christopher Westland. \u201cThe cost of errors in software development: evidence from industry\u201d. In: Journal of Systems and Software 62 (2002), pp. 1\u20139.","journal-title":"Journal of Systems and Software"}],"container-title":["Principled Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98047-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,27]],"date-time":"2019-10-27T13:14:51Z","timestamp":1572182091000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-98047-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319980461","9783319980478"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98047-8_11","relation":{},"subject":[],"published":{"date-parts":[[2018]]}}}