{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T08:53:12Z","timestamp":1648889592299},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1985,3,1]],"date-time":"1985-03-01T00:00:00Z","timestamp":478483200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1985,3]]},"DOI":"10.1007\/bf00289713","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T05:00:10Z","timestamp":1096952410000},"page":"599-627","source":"Crossref","is-referenced-by-count":3,"title":["A denotational semantics for shared-memory parallelism and nondeterminism"],"prefix":"10.1007","volume":"21","author":[{"given":"Daniel M.","family":"Berry","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"ECMA-ANSI, PL\/I-BASIS\/I, ECMA\/TC 10, ANSI.X3J1 (July, 1974)"},{"key":"CR2","first-page":"1","volume":"7","author":"D.M. Berry","year":"1972","unstructured":"Berry, D.M.: The Equivalence of Models of Tasking. Proc. ACM Conference on Proving Assertions about Programs, SIGPLAN Notices 7:1 1972","journal-title":"Proc. ACM Conference on Proving Assertions about Programs, SIGPLAN Notices"},{"key":"CR3","unstructured":"Berry, D.M.: A Denotational Semantics for Shared-Memory Parallelism and Nondeterminism: A Relation Between Denotational and Vienna Definition Language Semantics. Computer Science Dept., UCLA 1982"},{"key":"CR4","volume-title":"Adding Labels to EPL","author":"D.M. Berry","year":"1972","unstructured":"Berry, D.M., Wegner, P.: Adding Labels to EPL. Faculty of Mathematics, Hebrew University, Jerusalem, Israel 1972"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"de Bakker, J.W., Zucker, J.I.: Denotational Semantics of Concurrency. Proc. Fourteenth Annual ACM Symposium of the Theory of Computing, 5?7 May 1982, San Francisco, CA, 1982","DOI":"10.1145\/800070.802188"},{"key":"CR6","first-page":"290","volume":"19","author":"N. Francez","year":"1979","unstructured":"Francez, N., Hoare, C.A.R., Lehmann, D.J., de Roever, W.P.: Semantics of Nondeterminism, Concurrency, and Communication. JCSS 19, 290?308 (1979)","journal-title":"JCSS"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Francez, N., Lehmann, D.J., Pnueli, A.: A Linear History Semantics for Distributed Languages. 21st Annual Symposium on Foundations of Computer Science (1980)","DOI":"10.1109\/SFCS.1980.5"},{"key":"CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6228-2","volume-title":"The Denotational Description of Programming Languages: An Introduction","author":"M.S.C. Gordon","year":"1979","unstructured":"Gordon, M.S.C.: The Denotational Description of Programming Languages: An Introduction, Berlin: Springer 1979"},{"key":"CR9","series-title":"Tech. Rep. TR 25.10","volume-title":"The Block Concept and Some Possible Implementations, with Proofs of Equivalence","author":"W. Henhapl","year":"1970","unstructured":"Henhapl, W., Jones, C.B.: The Block Concept and Some Possible Implementations, with Proofs of Equivalence. IBM Laboratory Vienna Laboratory Vienna, Tech. Rep. TR 25.10 (1970)"},{"key":"CR10","volume-title":"Symposium on Semantics of Algorithmic Languages","author":"C.B. Jones","year":"1971","unstructured":"Jones, C.B., Lucas, P.: Proving Correctness of Implementation Techniques. In: Engeler, E. (ed.). Symposium on Semantics of Algorithmic Languages. Berlin: Springer 1971"},{"key":"CR11","series-title":"Tech. Rep. TR 25.087","volume-title":"Method and Notation for the formal Definition of Programming Languages","author":"P. Lucas","year":"1970","unstructured":"Lucas, P., Lauer, P.E., Stigleitner, H.: Method and Notation for the formal Definition of Programming Languages. (Rev. ed.). IBM Lab, Vienna, Tech. Rep. TR 25.087 (1970)","edition":"Rev. ed."},{"key":"CR12","first-page":"3","volume":"6","author":"P. Lucas","year":"1969","unstructured":"Lucas, P., Walk, K.: On the formal description of PL\/I. Ann. Rev. Automatic Progr. 6: 3 (1969)","journal-title":"Ann. Rev. Automatic Progr."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/S0019-9958(71)90355-X","volume":"18","author":"A.W. Mazurkiewicz","year":"1971","unstructured":"Mazurkiewicz, A.W.: Proving Algorithms by Tail Functions. Information and Control 18, 220?226 (1971)","journal-title":"Information and Control"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"McGowan, C.L.: The Correctness of a Modified SECD Machine. Second ACM Symposium on Theory of Computing (1970)","DOI":"10.1145\/800161.805160"},{"key":"CR15","volume-title":"Formal Semantics of Computer Languages","author":"C.L. McGowan","year":"1972","unstructured":"McGowan, C.L.: An Inductive Proof Technique for Interpreter Correctness. In: Rustin, R. (ed.). Formal Semantics of Computer Languages. Englewood Cliffs: Prentice-Hall 1972"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1137\/0205035","volume":"5","author":"G.D. Plotkin","year":"1976","unstructured":"Plotkin, G.D.: A Power Domain Construction. SIAM J. Comput. 5, 3 (1976)","journal-title":"SIAM J. Comput."},{"key":"CR17","volume-title":"Formal Description of Programming Concepts II","author":"G.D. Plotkin","year":"1983","unstructured":"Plotkin, G.D.: An Operational Semantics for CSP. In: Bj\u00f8rner, D. (ed.). Formal Description of Programming Concepts II. Amsterdam: North-Holland 1983"},{"key":"CR18","unstructured":"Schwartz, R.L.: An Axiomatic Semantic Definition of Algol 68. Tech. Rep. UCLA-ENG-7838, Computer Science Dept., UCLA (1978)"},{"key":"CR19","volume-title":"Denotational Semantics of Parallelism. Semantics of Concurrent Computation","author":"J.S. Schwarz","year":"1979","unstructured":"Schwarz, J.S.: Denotational Semantics of Parallelism. Semantics of Concurrent Computation. Berlin: Springer 1979"},{"key":"CR20","first-page":"23","volume":"16","author":"M.B. Smyth","year":"1978","unstructured":"Smyth, M.B.: Power Domains. JCSS 16, 23?36 (1978)","journal-title":"JCSS"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Stoughton, A.: Access Flow: A Protection Model which Integrates Access Control and Information Flow. Computer Science Dept., UCLA (1981)","DOI":"10.1109\/SP.1981.10004"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1145\/360303.360308","volume":"19","author":"R.D. Tennent","year":"1976","unstructured":"Tennent, R.D.: The Denotational Semantics of Programming Languages. CACM 19, 437?453 (1976)","journal-title":"CACM"},{"key":"CR23","unstructured":"Tennent, R.D.: A Practical Guide to Denotational Semantic Definitions. Univ. of Oxford, Programming Research Group (April 1978)"},{"key":"CR24","volume-title":"Principles of Programming Languages","author":"R.D. Tennent","year":"1981","unstructured":"Tennent, R.D.: Principles of Programming Languages. Englewood Cliffs: Prentice-Hall 1981"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"van Wijngaarden, A., Mailloux, B.J., Peck, J.E.L., Koster, C.H.A., Sintzoff, M., Lindsey, C.H., Meertens, L.G.L.T., Fisker, R.G. (eds.). Revised Report on the Algorithmic Language Algol 68. Acta Informat. 5, 1?236 (1975)","DOI":"10.1007\/BF00265077"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/S0065-2458(08)60431-3","volume":"10","author":"P. Wegner","year":"1970","unstructured":"Wegner, P.: Three Computer Cultures: Computer Technology, Computer Mathematics, and Computer Science. Advances in Comput. 10, 7?78 (1970)","journal-title":"Advances in Comput."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/356596.356598","volume":"4","author":"P. Wegner","year":"1972","unstructured":"Wegner, P.: The Vienna Definition Language. Comput. Surveys 4: 15?63 (1972)","journal-title":"Comput. Surveys"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289713.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00289713\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289713","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T08:12:18Z","timestamp":1585901538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00289713"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,3]]},"references-count":27,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1985,3]]}},"alternative-id":["BF00289713"],"URL":"https:\/\/doi.org\/10.1007\/bf00289713","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,3]]}}}