{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:11:14Z","timestamp":1757542274403},"reference-count":37,"publisher":"Wiley","issue":"8","license":[{"start":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T00:00:00Z","timestamp":1161907200000},"content-version":"vor","delay-in-days":8853,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1982,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>SR is a new language for programming software containing many processes that execute in parallel. The language allows an entire software system that controls a potentially large collection of processors to be programmed as an integrated set of software modules. The key language mechanisms are resources, operations and input statements. The language supports separate compilation, type abstraction, and dynamic communication links; it also contains novel treatments of arrays and procedures. This paper gives an overview of the language mechanisms, discusses some of the major design decisions and describes one implementation.<\/jats:p>","DOI":"10.1002\/spe.4380120804","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T02:42:07Z","timestamp":1163817727000},"page":"719-753","source":"Crossref","is-referenced-by-count":46,"title":["The distributed programming language SR\u2014Mechanisms, design and implementation"],"prefix":"10.1002","volume":"12","author":[{"given":"Gregory R.","family":"Andrews","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,27]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312840"},{"key":"e_1_2_1_3_2","volume-title":"The Architecture of Concurrent Programs","author":"Hansen P. Brinch","year":"1977"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380070102"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/359642.359651"},{"key":"e_1_2_1_7_2","unstructured":"J. G.Mitchell W.MayburyandR.Sweet.Mesa Language Manual Version 5.0. XeroxPARC Report CSL\u201079\u20103 April 1979."},{"key":"e_1_2_1_8_2","doi-asserted-by":"crossref","unstructured":"D. I.Good R. M.CohenandJ.Keeton\u2010Williams \u2018Principles of proving concurrent programs in Gypsy Proc. Sixth ACM Symp. on Principles of Programming Languages San Antonio Texas. January1979 pp.42\u201352.","DOI":"10.1145\/567752.567757"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/359114.359127"},{"key":"e_1_2_1_10_2","volume-title":"Reference Manual for the Ada Programming Language","year":"1980"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234505"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380110403"},{"key":"e_1_2_1_13_2","doi-asserted-by":"crossref","unstructured":"B.LiskovandR.Scheifler \u2018Guardians and actions: linguistic support for robust distributed programs\u2019 Proc. Ninth ACM Symp. on Principles of Programming Languages Albuquerque New Mexico January1982 pp.7\u201319.","DOI":"10.1145\/582153.582155"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/357146.357149"},{"key":"e_1_2_1_15_2","volume-title":"SR: a language for distributed programming","author":"Andrews G. R.","year":"1981"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_2_1_17_2","volume-title":"The C Programming Language","author":"Kernighan B. W.","year":"1978"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234148"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380110305"},{"key":"e_1_2_1_20_2","volume-title":"On the duality of operating system structures","author":"Lauer H. C.","year":"1978"},{"key":"e_1_2_1_20_3","doi-asserted-by":"publisher","DOI":"10.1145\/850657.850658"},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/355620.361161"},{"issue":"3","key":"e_1_2_1_22_2","first-page":"29","article-title":"Report on the workshop on distributed computing","volume":"15","year":"1981","journal-title":"Operating Systems Review"},{"key":"e_1_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/954666.971189"},{"key":"e_1_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380120508"},{"key":"e_1_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.233870"},{"key":"e_1_2_1_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231130"},{"key":"e_1_2_1_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361061"},{"key":"e_1_2_1_28_2","volume-title":"Foundations of Secure Computation","author":"Minsky N.","year":"1978"},{"key":"e_1_2_1_29_2","doi-asserted-by":"crossref","unstructured":"F.Baskett J. H.Howard andJ. T.Montague \u2018Task communication in DEMOS\u2019 Proc. Sixth Symp. on OS Principles West Lafayette IN November 1977 pp.23\u201331.","DOI":"10.1145\/1067625.806544"},{"key":"e_1_2_1_30_2","doi-asserted-by":"crossref","unstructured":"M. H.SolomonandR. A.Finkel \u2018The Roscoe distributed operating system\u2019 Proc. Seventh Symp. on OS Principles Pacific Grove CA December1979pp.108\u2013114.","DOI":"10.1145\/800215.806577"},{"key":"e_1_2_1_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/359060.359074"},{"key":"e_1_2_1_32_2","volume-title":"Structured Computer Programming","author":"Dahl O. J.","year":"1972"},{"key":"e_1_2_1_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/359763.359789"},{"key":"e_1_2_1_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233830"},{"key":"e_1_2_1_35_2","doi-asserted-by":"crossref","unstructured":"A. J.DemersandJ. E.Donahue \u2018Data types parameters and type checking\u2019 Proc. Seventh ACM Symp. on Principles of Programming Languages Las Vegas Nevada January1980 pp.12\u201323.","DOI":"10.1145\/567446.567448"},{"key":"e_1_2_1_36_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380100802"},{"key":"e_1_2_1_37_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380070104"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380120804","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380120804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,12]],"date-time":"2023-11-12T14:41:06Z","timestamp":1699800066000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380120804"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,8]]},"references-count":37,"journal-issue":{"issue":"8","published-print":{"date-parts":[[1982,8]]}},"alternative-id":["10.1002\/spe.4380120804"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380120804","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,8]]}}}