{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299238},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156703"},{"type":"electronic","value":"9783540395935"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15670-4_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:23:19Z","timestamp":1330194199000},"page":"306-329","source":"Crossref","is-referenced-by-count":19,"title":["Denotational semantics for occam"],"prefix":"10.1007","author":[{"given":"A. W.","family":"Roscoe","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/322358.322372","volume":"30","author":"K. R. Apt","year":"1983","unstructured":"Apt, K.R., Formal justification of a proof system for communicating sequential processes, JACM Vol. 30, No. 1 (Jan 1983) pp197\u2013216.","journal-title":"JACM"},{"issue":"3","key":"15_CR2","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/357103.357110","volume":"2","author":"K. R. Apt","year":"1980","unstructured":"Apt, K.R., Francez, N., and de Roever, W.P., A proof system for communicating sequential processes, Trans. Prog. Lang. Syst. 2, 3 (July 1980) pp359\u2013385.","journal-title":"Trans. Prog. Lang. Syst."},{"key":"15_CR3","unstructured":"Brookes, S.D., A model for communicating sequential processes, D.Phil. thesis, Oxford University, 1983."},{"issue":"3","key":"15_CR4","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., and Roscoe, A.W., A theory of communicating sequential processes, JACM 31, 3 (July 1984) pp560\u2013599.","journal-title":"JACM"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Brookes, S.D., and Roscoe, A.W., An improved failures model for communicating processes, Carnegie-Mellon Tech. Report 1984. (Appears in an abbreviated form in this volume.)","DOI":"10.1007\/3-540-15670-4_14"},{"issue":"8","key":"15_CR6","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"Hoare, C.A.R., Communicating sequential processes, CACM 21, 8 (August 1978) pp666\u2013676.","journal-title":"CACM"},{"key":"15_CR7","unstructured":"Hoare, C.A.R., A model for communicating sequential processes, Tech. Report PRG-22, Oxford University Programming Research Group, 1981."},{"key":"15_CR8","unstructured":"Hoare, C.A.R., and Roscoe, A.W., The laws of occam programming, in preparation."},{"key":"15_CR9","unstructured":"Hoare, C.A.R., and Roscoe, A.W., Programs as executable predicates, in Proceedings of FGCS 84, North-Holland 1984."},{"key":"15_CR10","unstructured":"INMOS Ltd., The occam programming manual, Prentice-Hall International, 1984."},{"key":"15_CR11","volume-title":"A theory of programming language semantics","author":"R. E. Milne","year":"1976","unstructured":"Milne, R.E., and Strachey, C., A theory of programming language semantics, Chapman Hall, London, and Wiley, New York, 1976."},{"key":"15_CR12","unstructured":"Roscoe, A.W., A mathematical theory of communicating processes, D.Phil. thesis, Oxford University, 1982."},{"key":"15_CR13","unstructured":"Stoy, J.E., Denotational semantics, MIT Press, 1977."},{"key":"15_CR14","unstructured":"Tennent, R.D., Principles of programming languages, Prentice-Hall International, 1981."},{"key":"15_CR15","unstructured":"Zhou Chaochen, The consistency of the calculus of total correctness for communicating processes, Tech. Report PRG-26, Oxford University Programming Research Group, 1982."}],"container-title":["Lecture Notes in Computer Science","Seminar on Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15670-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:40Z","timestamp":1605643720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}