{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:30Z","timestamp":1725663390130},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:55:17Z","timestamp":1330199717000},"page":"444-454","source":"Crossref","is-referenced-by-count":0,"title":["Operational semantics and a distributed implementation of CSP"],"prefix":"10.1007","author":[{"given":"Gerlinde","family":"Schreiber","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"24_CR1","unstructured":"Zhou Chaochen, C.A.R. Hoare, \"Partial correctness of CSP\", in: Proc. of 2nd Intern. Conference on Distributed Computing, Paris, Computer Society Press, pp. 1\u201312, 1981"},{"key":"24_CR2","volume-title":"Proc. 2nd intern. Conference on Distributed Computing","author":"L. Shrira","year":"1981","unstructured":"L. Shrira, N. Francez, \"An experimental implementation of CSP\", in: Proc. 2nd intern. Conference on Distributed Computing, Paris, Computer Society Press, 1981"},{"key":"24_CR3","unstructured":"G.B. Schreiber, \"Operational semantics and a distributed implementation of CSP\", Diplomarbeit, Department of Comp.Sc., Univ. Kiel, 1985 [in German]"},{"issue":"8","key":"24_CR4","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, \"Communicating sequential processes\", Comm. ACM vo. 21, no. 8, pp. 666\u2013677, 1978","journal-title":"Comm. ACM"},{"key":"24_CR5","unstructured":"C.A.R. Hoare, \"A model for CSP\", in: R.M. McKeag, A.M McNeghton (Eds.) On the Construction of Programs, Cambridge University Press, pp. 229\u2013243, 1980"},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0167-6423(81)90005-8","volume":"1","author":"C. A. R. R. Hoare","year":"1981","unstructured":"C.A.R. Hoare, \"A calculus of total correctness for CSP\", Science of Computer Programming 1, pp. 49\u201372, 1981","journal-title":"Science of Computer Programming"},{"key":"24_CR7","series-title":"Techn. Monograph","volume-title":"A theory of CSP","author":"C. A. R. R. Hoare","year":"1981","unstructured":"C.A.R. Hoare, S.D. Brookes, A.W. Roscoe, \"A theory of CSP\", Techn. Monograph PRG-16, Oxford Univ., Program Research Group, Oxford, 1981"},{"key":"24_CR8","unstructured":"D. May, R. Shepherd, \"The Transputer implementation of OCCAM\", in: Proc. intern. Conference on Fifth Generation Computer Systems, 1984"},{"key":"24_CR9","unstructured":"E.-R. Olderog, C.A.R. Hoare, \"Specification-oriented semantics for CSP\", Techn. Monograph PRG-37, Oxford Univ., Program Research Group (1984)"},{"key":"24_CR10","first-page":"199","volume-title":"Formal Description of Programming Concepts II","author":"G. D. Plotkin","year":"1983","unstructured":"G.D. Plotkin, \"An operational semantics for CSP\", in: D. Bj\u00f8rner (Ed.), Formal Description of Programming Concepts II, Amsterdam, North Holland, pp. 199\u2013223, 1983"},{"key":"24_CR11","unstructured":"R. Reinecke, \"Networks of communicating processes: a functional implementation\", Manuscript, Department of Comp.Sc., Univ. Kaiserslautern, 1983"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:19:00Z","timestamp":1619558340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}