{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T12:00:18Z","timestamp":1762430418498,"version":"3.41.0"},"reference-count":19,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2010,1,27]],"date-time":"2010-01-27T00:00:00Z","timestamp":1264550400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGOPS Oper. Syst. Rev."],"published-print":{"date-parts":[[2010,1,27]]},"abstract":"<jats:p>Process orientation is an approach to concurrency that uses concepts of processes and message-passing communication, with whole systems constructed from layered and dynamically evolving networks of communicating processes. The work described in this paper relates to the automatic model generation and verification of systems developed in processoriented languages. We discuss some early applications of this technique to our experimental operating system, RMoX, as a means to giving a guarantee of correct system behaviour at a range of levels.<\/jats:p>","DOI":"10.1145\/1713254.1713265","type":"journal-article","created":{"date-parts":[[2010,2,2]],"date-time":"2010-02-02T13:33:51Z","timestamp":1265117631000},"page":"45-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Checking process-oriented operating system behaviour using CSP and refinement"],"prefix":"10.1145","volume":"43","author":[{"given":"Frederick R.M.","family":"Barnes","sequence":"first","affiliation":[{"name":"University of Kent, Canterbury, Kent, United Kingdom"}]},{"given":"Carl G.","family":"Ritson","sequence":"additional","affiliation":[{"name":"University of Kent, Canterbury, Kent, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2010,1,27]]},"reference":[{"volume-title":"Proceedings of Communicating Process Architectures 2003","year":"2003","author":"Barnes F.","key":"e_1_2_1_1_1"},{"volume-title":"CPA","year":"2009","author":"Barnes F.R.M.","key":"e_1_2_1_2_1"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-1504-5_5"},{"volume-title":"Proceedings of the Symposium on Operating Systems Design and Implementation","year":"2008","author":"Boyd-Wickizer S.","key":"e_1_2_1_4_1"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217953"},{"key":"e_1_2_1_6_1","unstructured":"Formal Systems (Europe) Ltd. 3 Alfred Street Oxford. OX1 4EH UK. FDR2 User Manual May 2000.  Formal Systems (Europe) Ltd. 3 Alfred Street Oxford. OX1 4EH UK. FDR2 User Manual May 2000."},{"volume-title":"Proceedings of the 3rd Symposium on Operating Systems Design and Implementation","year":"1999","author":"Gamsa B.","key":"e_1_2_1_7_1"},{"key":"e_1_2_1_8_1","first-page":"25","volume-title":"Transputer Communications","author":"Goldsmith M.","year":"1994"},{"key":"e_1_2_1_9_1","unstructured":"Green Hills Software Inc. Integrity RTOS. URL: http:\/\/www.ghs.com\/.  Green Hills Software Inc. Integrity RTOS. URL: http:\/\/www.ghs.com\/."},{"key":"e_1_2_1_10_1","first-page":"153271","volume-title":"Prentice-Hall","author":"Hoare C.","year":"1985"},{"key":"e_1_2_1_11_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of ESOP'98","author":"Honda K.","year":"1998"},{"volume-title":"USA","year":"1990","author":"Limited INMOS","key":"e_1_2_1_12_1"},{"key":"e_1_2_1_13_1","first-page":"869","volume-title":"Cambridge University Press","author":"Milner R.","year":"1999"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02053-7_9"},{"key":"e_1_2_1_15_1","first-page":"674409","volume-title":"Prentice Hall","author":"Roscoe A.","year":"1997"},{"volume-title":"Proceedings of the Workshop on Managed Many-Core Systems (MMCS) 2008","year":"2008","author":"Sch\u00fcpback A.","key":"e_1_2_1_16_1"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11423348_10"},{"volume-title":"Proceedings of Communicating Process Architectures 2008","year":"2008","author":"Welch P.","key":"e_1_2_1_18_1"},{"volume-title":"Proceedings of the 1993 World Transputer Congress. IOS Press","year":"1993","author":"Welch P.","key":"e_1_2_1_19_1"}],"container-title":["ACM SIGOPS Operating Systems Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1713254.1713265","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1713254.1713265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:35Z","timestamp":1750250495000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1713254.1713265"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,27]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,1,27]]}},"alternative-id":["10.1145\/1713254.1713265"],"URL":"https:\/\/doi.org\/10.1145\/1713254.1713265","relation":{},"ISSN":["0163-5980"],"issn-type":[{"type":"print","value":"0163-5980"}],"subject":[],"published":{"date-parts":[[2010,1,27]]},"assertion":[{"value":"2010-01-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}