{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:35:47Z","timestamp":1742402147573},"reference-count":22,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":7242,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1987,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper describes a secure programming language called Joyce based on CSP and Pascal. Joyce permits unbounded (recursive) activation of communicating agents. The agents exchange messages through synchronous channels. A channel can transfer messages of different types between two or more agents. A compiler can check message types and ensure that agents use disjoint sets of variables only. The use of Joyce is illustrated by a variety of examples.<\/jats:p>","DOI":"10.1002\/spe.4380170105","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T04:39:43Z","timestamp":1163824783000},"page":"29-50","source":"Crossref","is-referenced-by-count":39,"title":["Joyce\u2014A programming language for distributed systems"],"prefix":"10.1002","volume":"17","author":[{"given":"Per Brinch","family":"Hansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Operating System Principles","author":"Brinch Hansen P.","year":"1973"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/355620.361161"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312840"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380060202"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380070102"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380091109"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/358818.358824"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/947923.947931"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_11_2","unstructured":"M.Jazayeriet al. \u2018CSP\/80: A language for communicating sequential processes\u2019 IEEE Compcon Fall1980 736\u2013740."},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380111105"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/502949.502903"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380141006"},{"key":"e_1_2_1_15_2","volume-title":"Occam Programming Manual","author":"Inmos","year":"1984"},{"key":"e_1_2_1_16_2","volume-title":"Communicating Sequential Processes","author":"Hoare C. A. R.","year":"1985"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264291"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96717-7"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5695-3"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.230190"},{"key":"e_1_2_1_21_2","volume-title":"On the Construction of Programs","author":"Roubine O.","year":"1980"},{"key":"e_1_2_1_22_2","unstructured":"C. A. R.Hoare \u2018Hints on programming language design\u2019 Technical Report Computer Science Department Stanford University 1973."},{"key":"e_1_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380070604"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380170105","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380170105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T12:08:54Z","timestamp":1697890134000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380170105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,1]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1987,1]]}},"alternative-id":["10.1002\/spe.4380170105"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380170105","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,1]]}}}