{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T19:48:45Z","timestamp":1648928925543},"reference-count":44,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1984,8,1]],"date-time":"1984-08-01T00:00:00Z","timestamp":460166400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":10577,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[1984,8]]},"DOI":"10.1016\/0167-6423(84)90016-9","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:09:22Z","timestamp":1027656562000},"page":"103-139","source":"Crossref","is-referenced-by-count":5,"title":["A systematic approach to language constructs for concurrent programs"],"prefix":"10.1016","volume":"4","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Friedrich L","family":"Bauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0167-6423(84)90016-9_BIB1","series-title":"Formal Description of Programming Concepts","first-page":"96","article-title":"Some relationship between asynchronous interpreters of a data flow language","author":"Arvind","year":"1978"},{"key":"10.1016\/0167-6423(84)90016-9_BIB2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1137\/0711010","article-title":"Computational graphs and rounding error","volume":"11","author":"Bauer","year":"1974","journal-title":"SIAM J. Numer. Anal."},{"key":"10.1016\/0167-6423(84)90016-9_BIB3","series-title":"Algorithms in Modern Mathematics and Computer Science","article-title":"Algorithm and algebra","author":"Bauer","year":"1981"},{"issue":"4","key":"10.1016\/0167-6423(84)90016-9_BIB4","first-page":"151","article-title":"Dualismen in der Informatik","volume":"24","author":"Bauer","year":"1982","journal-title":"Elektron. Rechnanl"},{"issue":"12","key":"10.1016\/0167-6423(84)90016-9_BIB5","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/954587.954588","article-title":"Towards a wide spectrum language to support program specification and program development","volume":"13","author":"Bauer","year":"1978","journal-title":"SIGPLAN Notice"},{"key":"10.1016\/0167-6423(84)90016-9_BIB6","series-title":"Algorithmische Sprache und Programmentwicklung","author":"Bauer","year":"1981"},{"issue":"5","key":"10.1016\/0167-6423(84)90016-9_BIB7","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1109\/PGEC.1966.264565","article-title":"Analysis of programs for parallel processing","volume":"15","author":"Bernstein","year":"1966","journal-title":"IEEE Trans. Electron. Comput."},{"issue":"11","key":"10.1016\/0167-6423(84)90016-9_BIB8","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1145\/359642.359651","article-title":"Distributed processes: A concurrent programming concept","volume":"21","author":"Brinch Hansen","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0167-6423(84)90016-9_BIB9","series-title":"Dissertation an der Fakult\u00e4t f\u00fcr Mathematik","article-title":"Transformation parallel ablaufender Programme","author":"Broy","year":"1980"},{"issue":"2","key":"10.1016\/0167-6423(84)90016-9_BIB10","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0020-0190(80)90009-5","article-title":"Transformational semantics for concurrent programs","volume":"11","author":"Broy","year":"1980","journal-title":"Information Processing Lett."},{"key":"10.1016\/0167-6423(84)90016-9_BIB11","series-title":"Theoretical Foundations of Programming Methodology","first-page":"565","article-title":"A fixed point approach to applicative multiprogramming","author":"Broy","year":"1982"},{"key":"10.1016\/0167-6423(84)90016-9_BIB12","series-title":"Habilitation,","article-title":"A theory for parallelism, concurrency, and communication","author":"Broy","year":"1982"},{"key":"10.1016\/0167-6423(84)90016-9_BIB13","series-title":"IFIP TC2 Working Conference on Formal Description of Programming Concepts II","first-page":"125","article-title":"Fixed point theory for communication and concurrency","author":"Broy","year":"1983"},{"key":"10.1016\/0167-6423(84)90016-9_BIB14","doi-asserted-by":"crossref","unstructured":"M. Broy, Semantics of communicating processes. Information and Control, to appear.","DOI":"10.1016\/S0019-9958(84)80048-0"},{"key":"10.1016\/0167-6423(84)90016-9_BIB15","series-title":"Proc. STACS 84","first-page":"163","article-title":"Denotational semantics of concurrent programs with shared memory","volume":"166","author":"Broy","year":"1984"},{"key":"10.1016\/0167-6423(84)90016-9_BIB16","first-page":"91","article-title":"The specification of process synchronisation by path expressions","author":"Campbell","year":"1974","journal-title":"Proc. International Symposium on Operating Systems Theory and Practice"},{"key":"10.1016\/0167-6423(84)90016-9_BIB17","series-title":"Proc. Conference on Functional Programming and Computer Architecture","article-title":"Parallel interpretation of logic programs","author":"Conery","year":"1981"},{"key":"10.1016\/0167-6423(84)90016-9_BIB18","series-title":"Colloque sur la Programmation","first-page":"362","article-title":"First version of a data flow procedure language","volume":"19","author":"Dennis","year":"1974"},{"key":"10.1016\/0167-6423(84)90016-9_BIB19","series-title":"Programming Languages","first-page":"43","article-title":"Co-operating sequential processes","author":"Dijkstra","year":"1968"},{"key":"10.1016\/0167-6423(84)90016-9_BIB20","series-title":"A Discipline of Programming","author":"Dijkstra","year":"1976"},{"issue":"6","key":"10.1016\/0167-6423(84)90016-9_BIB21","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/359114.359127","article-title":"High level programming for distributed computing","volume":"22","author":"Feldman","year":"1979","journal-title":"Comm ACM"},{"issue":"4","key":"10.1016\/0167-6423(84)90016-9_BIB22","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1109\/TC.1978.1675100","article-title":"Aspects of applicative programming for parallel processing","volume":"27","author":"Friedman","year":"1978","journal-title":"IEEE Transac. Comput."},{"issue":"2","key":"10.1016\/0167-6423(84)90016-9_BIB23","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF00289091","article-title":"do considered od: A contribution to the programming calculus","volume":"11","author":"Hehner","year":"1979","journal-title":"Acta Informat."},{"key":"10.1016\/0167-6423(84)90016-9_BIB24","series-title":"Operating Systems Techniques","first-page":"61","article-title":"Towards a theory of parallel programming","author":"Hoare","year":"1972"},{"issue":"10","key":"10.1016\/0167-6423(84)90016-9_BIB25","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","article-title":"Monitors: An operating systems structuring concept","volume":"17","author":"Hoare","year":"1974","journal-title":"Comm. ACM"},{"issue":"8","key":"10.1016\/0167-6423(84)90016-9_BIB26","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","article-title":"Communicating sequential processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0167-6423(84)90016-9_BIB27","series-title":"A theory of communicating sequential processes","author":"Hoare","year":"1981"},{"key":"10.1016\/0167-6423(84)90016-9_BIB28","series-title":"Fundamentals of Computer Algorithms","author":"Horowitz","year":"1978"},{"key":"10.1016\/0167-6423(84)90016-9_BIB29","series-title":"Proc. IFIP Congress 77","first-page":"827","article-title":"Managers versus monitors","author":"Jammel","year":"1977"},{"key":"10.1016\/0167-6423(84)90016-9_BIB30","series-title":"Proc. IFIP Congress 77","first-page":"994","article-title":"Coroutines and networks of parallel processes","author":"Kahn","year":"1977"},{"issue":"9","key":"10.1016\/0167-6423(84)90016-9_BIB31","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/390014.808289","article-title":"A data flow language for operating systems programming","volume":"8","author":"Kosinski","year":"1973","journal-title":"SIGPLAN Notices"},{"issue":"2","key":"10.1016\/0167-6423(84)90016-9_BIB32","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","article-title":"Proving the correctness of multiprocessor programs","volume":"3","author":"Lamport","year":"1977","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0167-6423(84)90016-9_BIB33","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00264564","article-title":"Formal semantics of a class of high-level primitives for coordinating concurrent processes","volume":"5","author":"Lauer","year":"1975","journal-title":"Acta Informat."},{"key":"10.1016\/0167-6423(84)90016-9_BIB34","article-title":"On the duality of operating systems structures","author":"Lauer","year":"1978","journal-title":"Proc. 2nd International Symposium on Operating Systems"},{"issue":"8","key":"10.1016\/0167-6423(84)90016-9_BIB35","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/355609.362336","article-title":"Inductive methods for proving properties of programs","volume":"16","author":"Manna","year":"1973","journal-title":"Comm. ACM"},{"key":"10.1016\/0167-6423(84)90016-9_BIB36","article-title":"Models for distributed computing","author":"MacQueen","year":"1979","journal-title":"IRIA RR No. 351"},{"key":"10.1016\/0167-6423(84)90016-9_BIB37","series-title":"Computer Programming and Formal Systems","first-page":"33","article-title":"A basis for a mathematical theory of computation","author":"McCarthy","year":"1963"},{"key":"10.1016\/0167-6423(84)90016-9_BIB38","series-title":"Internal Report CSR-2-77","article-title":"Concurrent processes and their syntax","author":"Milne","year":"1977"},{"key":"10.1016\/0167-6423(84)90016-9_BIB39","article-title":"A Calculus for Communicating Systems","volume":"92","author":"Milner","year":"1980"},{"key":"10.1016\/0167-6423(84)90016-9_BIB40","series-title":"Ph.D. Thesis","article-title":"Axiomatic proof techniques for parallel programs","author":"Owicki","year":"1975"},{"key":"10.1016\/0167-6423(84)90016-9_BIB41","article-title":"Kommunikation mit Automaten","author":"Petri","year":"1962","journal-title":"Technische Hoschule Darmstadt"},{"key":"10.1016\/0167-6423(84)90016-9_BIB42","unstructured":"A. Salwicki and T. M\u00fcldner, On algorithmic properties of concurrent programs, Unpublished manuscript."},{"key":"10.1016\/0167-6423(84)90016-9_BIB43","series-title":"Proc. International Symposium on Semantics of Concurrent Computation","article-title":"Principles for distributed programs","author":"Sintzoff","year":"1979"},{"key":"10.1016\/0167-6423(84)90016-9_BIB44","first-page":"403","article-title":"A language design for concurrent processes","author":"Tesler","year":"1968","journal-title":"Spring Joint Computer Conference"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167642384900169?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167642384900169?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T17:50:30Z","timestamp":1555091430000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167642384900169"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,8]]},"references-count":44,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1984,8]]}},"alternative-id":["0167642384900169"],"URL":"https:\/\/doi.org\/10.1016\/0167-6423(84)90016-9","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1984,8]]}}}