{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:11:55Z","timestamp":1725459115679},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540123172"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0036937","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T12:38:14Z","timestamp":1138192694000},"page":"561-572","source":"Crossref","is-referenced-by-count":15,"title":["Specification-oriented semantics for communicating processes"],"prefix":"10.1007","author":[{"given":"E. -R.","family":"Olderog","sequence":"first","affiliation":[]},{"given":"C. A. R.","family":"Hoare","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","volume-title":"Mathematical Theory of Program Correctness","author":"J.W. Bakker de","year":"1980","unstructured":"J.W. de Bakker, Mathematical Theory of Program Correctness (Prentice Hall, London, 1980)."},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker, J.I. Zucker, Denotational semantics of concurrency, in: Proc. 14th ACM Symp. on Theory of Computing (1982) 153\u2013158.","DOI":"10.1145\/800070.802188"},{"key":"45_CR3","series-title":"LNCS 107","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/3-540-10699-5_102","volume-title":"Formalisation of Programming Concepts","author":"J.D. Brock","year":"1981","unstructured":"J.D. Brock, W.B. Ackermann, Scenarios: a model for nondeterminate computations, in: J. Diaz, I. Ramos, Eds., Formalisation of Programming Concepts, LNCS 107 (Springer, Berlin-Heidelberg-New York, 1981) 252\u2013267."},{"key":"45_CR4","first-page":"104","volume-title":"Formal Description of Programming Concepts II","author":"M. Broy","year":"1982","unstructured":"M. Broy, Fixed point theory for communication and concurrency, in: D. Bj\u00d8rner, Ed., Formal Description of Programming Concepts II, Preliminary Proc. IFIP TC-2 Working Conference (North Holland, Amsterdam, 1982) 104\u2013126."},{"key":"45_CR5","unstructured":"Z. Chaochen, C.A.R. Hoare, Partial correctness of communicating processes, in: Proc. 2nd International Conference on Distributed Computing Systems, Paris (1981)."},{"key":"45_CR6","first-page":"290","volume":"19","author":"N. Francez","year":"1979","unstructured":"N. Francez, C.A.R. Hoare, D.J. Lehmann, W.P. de Roever, Semantics of nondeterminism, concurrency and communication, JCSS 19 (1979) 290\u2013308.","journal-title":"JCSS"},{"key":"45_CR7","unstructured":"E.C.R. Hehner, C.A.R. Hoare, A more complete model of communicating processes (to appear in Theoret. Comp. Sci.) 1982."},{"key":"45_CR8","unstructured":"C.A.R. Hoare, A model for communicating sequential processes, in: R.M, McKeag, A.M. McNaghton, Eds., On the Construction of Programs (Cambridge University Press, 1980) 229\u2013243."},{"key":"45_CR9","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0167-6423(81)90005-8","volume":"1","author":"C.A.R. Hoare","year":"1981","unstructured":"C.A.R. Hoare, A calculus of total correctness for communicating processes, Sci. Comp. Programming 1 (1981) 49\u201372.","journal-title":"Sci. Comp. Programming"},{"key":"45_CR10","volume-title":"Tech. Monograph PRG-29","author":"C.A.R. Hoare","year":"1982","unstructured":"C.A.R. Hoare, Specifications, programs and implementations, Tech. Monograph PRG-29, Oxford Univ., Progr. Research Group, Oxford 1982."},{"key":"45_CR11","volume-title":"Tech. Monograph PRG-16","author":"C.A.R. Hoare","year":"1981","unstructured":"C.A.R. Hoare, S.D. Brookes, A.W. Roscoe, A theory of communicating sequential processes, Tech. Monograph PRG-16, Oxford Univ., Progr. Research Group, Oxford 1981."},{"key":"45_CR12","volume-title":"LNCS 92","author":"R. Milner","year":"1980","unstructured":"R. Milner, A calculus of communicating systems, LNCS 92 (Springer, Berlin-Heidelberg-New York, 1980)."},{"key":"45_CR13","doi-asserted-by":"crossref","unstructured":"R. Milner, Four combinators for concurrency, in: Proc. ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computations, Ottawa, 1982.","DOI":"10.1145\/800220.806687"},{"key":"45_CR14","unstructured":"R. de Nicola, M.C.B. Hennessy, Testing equivalences for processes, Internal Report CSR-123-82, Univ. of Edinburgh, Computer Science Dept., 1982."},{"key":"45_CR15","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S. Owicki","year":"1982","unstructured":"S. Owicki, L. Lamport, Proving liveness properties of concurrent programs, ACM TOPLAS 4 (1982) 455\u2013495.","journal-title":"ACM TOPLAS"},{"key":"45_CR16","first-page":"185","volume-title":"Formal Description of Programming Concepts II","author":"G.D. Plotkin","year":"1982","unstructured":"G.D. Plotkin, An operational semantics for CSP, in: D. Bj\u00d8rner, Ed., Formal Description of Programming Concepts II, Preliminary Proc IFIP TC-2 Working Conference (North Holland, Amsterdam, 1982) 185\u2013208."},{"key":"45_CR17","first-page":"577","volume-title":"LNCS 140","author":"D.S. Scott","year":"1982","unstructured":"D.S. Scott, Domains for denotational semantics, in: M. Nielsen, E.M. Schmidt, Eds., Proc. 9th ICALP, LNCS 140 (Springer, Berin-Heidel berg-New York, 1982) 577\u2013613."},{"key":"45_CR18","first-page":"23","volume":"16","author":"M.B. Smyth","year":"1978","unstructured":"M.B. Smyth, Power domains, JCSS 16 (1978) 23\u201326.","journal-title":"JCSS"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0036937.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T17:21:43Z","timestamp":1607534503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0036937"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540123172"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0036937","relation":{},"subject":[]}}