{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:12Z","timestamp":1725663252713},"publisher-location":"Berlin, Heidelberg","reference-count":9,"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_18","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:23:32Z","timestamp":1330176212000},"page":"373-388","source":"Crossref","is-referenced-by-count":1,"title":["Denotational models based on synchronously communicating processes: Refusal, acceptance, safety"],"prefix":"10.1007","author":[{"given":"William G.","family":"Golson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"18_CR1","unstructured":"Brookes, S., (1983), \"On the Relationship of CCS and CSP\", in Automata, Languages and Programming, LNCS 154."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Golson, W., (1984), \"Denotational Models Based on Synchronously Communicating Processes\", Ph.D. thesis, University of Michigan.","DOI":"10.1007\/3-540-15670-4_18"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Hennessy, M. and Milner, R., (1980), \"On Observing Nondeterminism and Concurrency\", in Automata, Languages and Programming, LNCS 85.","DOI":"10.1007\/3-540-10003-2_79"},{"key":"18_CR4","first-page":"8","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"Hoare, C.A.R., (1978), \"Communicating Sequential Processes\", CACM 21:8.","journal-title":"CACM"},{"key":"18_CR5","first-page":"3","volume":"31","author":"C. A. R. R. Hoare","year":"1984","unstructured":"Hoare, C.A.R., Brookes, S. and Roscoe, A., (1984), \"A Theory of Communicating Sequential Processes\", JACM 31:3.","journal-title":"JACM"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Milner, R., (1980), A Calculus of Communicating Systems, LNCS 92.","DOI":"10.1007\/3-540-10235-3"},{"key":"18_CR7","unstructured":"Rounds, W., (1983), \"On the Relationship Between Scott Domains, Synchronization Trees, and Metric Spaces\", University of Michigan, Computing Research Laboratory Technical Report, CRL-TR-25-83."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Rounds, W. and Brookes, S., (1981), \"Possible Futures, Refusals and Communicating Processes\", Proceedings of the 22nd FOCS.","DOI":"10.1109\/SFCS.1981.36"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Scott, D., (1982), \"Domains for Denotational Semantics\", in Automata, Languages and Programming, LNCS 140.","DOI":"10.1007\/BFb0012801"}],"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_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:42Z","timestamp":1605625722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}