{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:37:04Z","timestamp":1742974624488,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089216"},{"type":"electronic","value":"9783540357575"}],"license":[{"start":{"date-parts":[[1978,1,1]],"date-time":"1978-01-01T00:00:00Z","timestamp":252460800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08921-7_67","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:35:44Z","timestamp":1330169744000},"page":"191-200","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Semantics of nondeterminism, concurrency and communication"],"prefix":"10.1007","author":[{"given":"Nissim","family":"Francez","sequence":"first","affiliation":[]},{"given":"C. A. R.","family":"Hoare","sequence":"additional","affiliation":[]},{"given":"Willem P.","family":"de Roever","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"16_CR1","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, Queen's Univ., Belfast, 1976, submitted to CACM."},{"key":"16_CR2","unstructured":"Milne, Robert, The semantics of one version of CSP, notes distributed at the Aarhus Workshop on Semantics of Concurrent Programming, June 1977."},{"key":"16_CR3","unstructured":"Hoare, C.A.R., A relational trace-oriented Semantics for Communicating Sequential Processes, ibid."},{"key":"16_CR4","unstructured":"Milner, Robin, & G. Milne, Concurrent Processes and their Syntax, Univ. of Edinburgh, 1977."},{"key":"16_CR5","unstructured":"Kahn, G., The Semantics of a Simple Language for parallel programming, IFIP, 1974."},{"issue":"1","key":"16_CR6","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/BF00571463","volume":"2","author":"M. Clint","year":"1973","unstructured":"Clint, M., Program proving: Coroutines, Acta Informatica, Vol. 2, No. 1, 1973, 50\u201363.","journal-title":"Acta Informatica"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki, Susan, and Gries, David, An axiomatic proof technique for parallel programs I, Acta Informatica 6, 319\u2013340, 1976.","journal-title":"Acta Informatica"},{"key":"16_CR8","unstructured":"Dijkstra, Edsger W., A discipline of programming, Prentice Hall, Burroughs-Nuenen, 1976."},{"key":"16_CR9","unstructured":"Dijkstra, Edsger W., et al. An elephant inspired by the Dutch National Flag, EWD 608; see also EWD 607; Burroughs-Nuenen, 1977."},{"key":"16_CR10","unstructured":"Egli, Herbert, A mathematical model for nondeterministic computations, Technological University, Zurich, 1975."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Plotkin, Gordon D., A power domain construction, Siam J. Comput., Vol. 5, No. 3, September 1976.","DOI":"10.1137\/0205035"},{"key":"16_CR12","unstructured":"Smyth, M., Effectively given domains, Univ. of Warwick, 1976."},{"key":"16_CR13","unstructured":"DeBakker, J.W., Semantics and termination of nondeterministic recursive programs, Proc. 3rd coll. Automata, Languages and Programming, Edinb. Univ. Press, 1976."},{"key":"16_CR14","unstructured":"Goguen, J. Abstract Errors for Abstract Data Types, Proc. IFIP Working Conference on Formal Description of Programming Concepts, 31 July to August 1977, New Brunswick."},{"key":"16_CR15","unstructured":"Milner, Robin, Two operations on trees, in same as (2)."},{"key":"16_CR16","unstructured":"Scott, D. and Strachey, C., Towards a mathematical semantics for computer languages, Proc. Symp. on Computers and Automata, Microwave Research Institute 21, 1971."},{"key":"16_CR17","unstructured":"Scott, D. Outline of mathematical theory of computation, Proc. 4th Princeton Conf. on Info. Sci. and Sys., 1970."},{"key":"16_CR18","unstructured":"Smyth, M. Power domains, Dept. of Comp. Sci., Univ. of Warwick, 1976."},{"key":"16_CR19","volume-title":"Processes: A mathematical model of computing agents, Logic Colloquium 1973","author":"R. Milner","year":"1973","unstructured":"Milner, R. Processes: A mathematical model of computing agents, Logic Colloquium 1973, N. Holland, Amsterdam, 1973."},{"issue":"2","key":"16_CR20","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/TSE.1975.6312840","volume":"1","author":"P. Brinch Hansen","year":"1975","unstructured":"Brinch Hansen, P. The programming language Concurrent Pascal, IEEE Trans. on Software Eng. 1, 2, pp. 199\u2013207, 1975.","journal-title":"IEEE Trans. on Software Eng."},{"issue":"10","key":"16_CR21","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C. A. R. R. Hoare","year":"1974","unstructured":"Hoare, C.A.R. Monitors: An operating systems structuring concept, CACM 17, 10, pp. 549\u2013557, 1974.","journal-title":"CACM"},{"key":"16_CR22","unstructured":"Francez, N. The analysis of cyclic programs, Ph.D. thesis, Dept. of Applied Math., the Weizman Institute of Science, Rehorat, Israel, July 1976. (To appear in Acta Informatica)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1978"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08921-7_67","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T19:11:16Z","timestamp":1578510676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08921-7_67"}},"subtitle":["Extended abstract, November 1977"],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089216","9783540357575"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-08921-7_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]},"assertion":[{"value":"24 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}