{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:45:34Z","timestamp":1725486334130},"reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108276"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0105115","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T05:24:42Z","timestamp":1181625882000},"page":"141-154","source":"Crossref","is-referenced-by-count":1,"title":["On language constructs for concurrent programs"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"12","key":"10_CR1","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/954587.954588","volume":"13","author":"F.L. Bauer","year":"1978","unstructured":"F.L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Br\u00fcckner, H. Partsch, P. Pepper, H. W\u00f6ssner: Towards a Wide Spectrum Language To Support Program Specification and Program Development. SIGPLAN Notices 13:12, December 1978, 15\u201324","journal-title":"SIGPLAN Notices"},{"key":"10_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05656-1","volume-title":"Algorithmische Sprache und Programmentwicklung","author":"F.L. Bauer","year":"1981","unstructured":"F.L. Bauer, H. W\u00f6ssner: Algorithmische Sprache und Programmentwicklung. Berlin-Heidelberg-New York: Springer 1981, to appear"},{"issue":"5","key":"10_CR3","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1109\/PGEC.1966.264564","volume":"EC-15","author":"A.J. Bernstein","year":"1966","unstructured":"A.J. Bernstein: Analysis of Programs for Parallel Processing. IEEE Transactions on Electronic Computers, EC-15:5, October 1966, 757\u2013763","journal-title":"IEEE Transactions on Electronic Computers"},{"issue":"11","key":"10_CR4","doi-asserted-by":"publisher","first-page":"934","DOI":"10.1145\/359642.359651","volume":"21","author":"P. B. Hansen","year":"1978","unstructured":"P. Brinch Hansen: Distributed Processes: A Concurrent Programming Concept. Comm. ACM 21:11, November 1978, 934\u2013941","journal-title":"Comm. ACM"},{"key":"10_CR5","unstructured":"M. Broy: Transformation parallel ablaufender Programme. Technische Universit\u00e4t M\u00fcnchen, Dissertation an der Fakult\u00e4t f\u00fcr Mathematik 1980"},{"issue":"2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0020-0190(80)90009-5","volume":"11","author":"M. Broy","year":"1980","unstructured":"M. Broy: Transformational Semantics for Concurrent Programs. IPL 11:2, Oct 1980, 87\u201391","journal-title":"IPL"},{"key":"10_CR7","unstructured":"M. Broy: Are Fairness Assumptions Fair? Second International Conference on Distributed Computing Systems, Paris, April 1981"},{"key":"10_CR8","unstructured":"R.H. Campbell, N. Habermann: The Specification of Process Synchronisation by Path Expressions. Proc. Int. Symp. on Operating Systems Theory and Practice, April 1974, 91\u2013102"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"E.W. Dijkstra: Co-Operating Sequential Processes. In: F. Genuys (ed.): Programming Languages. Academic Press, 1968, 43\u2013112","DOI":"10.1007\/978-1-4757-3472-0_2"},{"key":"10_CR10","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"E.W. Dijkstra: A Discipline of Programming. Prentice Hall, Englewood Cliffs N. J. 1976"},{"issue":"6","key":"10_CR11","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1145\/359114.359127","volume":"22","author":"J.A. Feldman","year":"1979","unstructured":"J.A. Feldman: High Level Programming for Distributed Computing. Comm. ACM 22:6, June 1979, 353\u2013368","journal-title":"Comm. ACM"},{"issue":"2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BF00289091","volume":"11","author":"E.C.R. Hehner","year":"1979","unstructured":"E.C.R. Hehner: do considered od: A Contribution to the Programming Calculus. Acta Informatica 11:2, 1979, 287\u2013304","journal-title":"Acta Informatica"},{"issue":"4","key":"10_CR13","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1109\/TC.1978.1675100","volume":"C-27","author":"D.P. Friedman","year":"1978","unstructured":"D.P. Friedman, D.S. Wise: Aspects of Applicative Programming for Parallel Processing. IEEE Transactions on Computers, C-27:4, April 1978, 289\u2013296","journal-title":"IEEE Transactions on Computers"},{"key":"10_CR14","first-page":"61","volume-title":"Operating Systems Techniques","author":"C.A.R. Hoare","year":"1972","unstructured":"C.A.R. Hoare: Towards a Theory of Parallel Programming. In: C.A.R. Hoare, R.H. Perott (eds.): Operating Systems Techniques, Academic Press, New York 1972, 61\u201371"},{"issue":"10","key":"10_CR15","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"C.A.R. Hoare: Monitors: An Operating Systems Structuring Concept. Comm. ACM 17:10, October 1974, 549\u2013557","journal-title":"Comm. ACM"},{"issue":"8","key":"10_CR16","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare: Communicating Sequential Processes. Comm. ACM 21:8, August 1978, 666\u2013677","journal-title":"Comm. ACM"},{"key":"10_CR17","first-page":"827","volume-title":"Proc. of the IFIP Congress 77","author":"A.J. Jammel","year":"1977","unstructured":"A.J. Jammel, H.G. Stiegler: Managers versus Monitors. In: Proc. of the IFIP Congress 77, Amsterdam: North-Holland 1977, 827\u2013830"},{"key":"10_CR18","first-page":"994","volume-title":"Proc. of the IFIP Congress 77","author":"G. Kahn","year":"1977","unstructured":"G. Kahn, D. MacQeen: Coroutines and Networks of Parallel Processes. In: Proc. of the IFIP Congress 77, Amsterdam: North-Holland 1977, 994\u2013998"},{"issue":"9","key":"10_CR19","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/390014.808289","volume":"8","author":"P.R. Kosinski","year":"1973","unstructured":"P.R. Kosinski: A Data Flow Language for Operating Systems Programming. SIGPLAN Notices 8:9, September 1973, 89\u201394","journal-title":"SIGPLAN Notices"},{"issue":"2","key":"10_CR20","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"SE-3","author":"L. Lamport","year":"1977","unstructured":"L. Lamport: Proving the Correctness of Multiprocessor Programs. IEEE Transactions on Software Engineering, SE-3:2, March 1977, 125\u2013143","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00264564","volume":"5","author":"P.E. Lauer","year":"1975","unstructured":"P.E. Lauer, R.H. Campbell: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes. Acta Informatica 5, 1975, 297\u2013332","journal-title":"Acta Informatica"},{"issue":"2","key":"10_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/850657.850658","volume":"13","author":"H.C. Lauer","year":"1979","unstructured":"H.C. Lauer, R.M. Needham: On the Duality of Operating Systems Structures. In: Proceedings of the Second International Symposium on Operating Systems, Oct 1978, Reprinted in: Operating Systems Review 13:2, April 1979, 3\u201319","journal-title":"Operating Systems Review"},{"issue":"8","key":"10_CR23","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1145\/355609.362336","volume":"16","author":"Z. Manna","year":"1973","unstructured":"Z. Manna, S. Ness, J. Vuillemin: Inductive Methods for Proving Properties of Programs. Comm. ACM 16:8, August 1973, 491\u2013502","journal-title":"Comm. ACM"},{"key":"10_CR24","unstructured":"D.B. MacQueen: Models for Distributed Computing. IRIA RR No 351, April 1979"},{"key":"10_CR25","unstructured":"G. Milne, R. Milner: Concurrent Processes and their Syntax. University of Edinburgh, Department of Computer Science, Internal Report CSR-2-77, 1977"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus for Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner: A Calculus for Communicating Systems. Lecture Notes in Computer Science 92, Berlin-Heidelberg-New York: Springer 1980"},{"key":"10_CR27","unstructured":"S. Owicki: Axiomatic Proof Techniques for Parallel Programs. Cornell University, Ph. D. Thesis 1975"},{"key":"10_CR28","unstructured":"C.A. Petri: Kommunikation mit Automaten. Technische Hochschule Darmstadt, Dissertation 1962"},{"key":"10_CR29","unstructured":"A. Salwicki, T. M\u00fcldner: On Algorithmic Properties of Concurrent Programs. Unpublished manuscript"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"M. Sintzoff: Principles for Distributed Programs. Proc. of the Int. Symp. on Semantics of Concurrent Computation, Evian, July 2\u20134, 1979","DOI":"10.1007\/BFb0022478"}],"container-title":["Lecture Notes in Computer Science","Conpar 81"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0105115.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:18:46Z","timestamp":1607552326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0105115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540108276"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/bfb0105115","relation":{},"subject":[]}}