{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:18Z","timestamp":1725663258291},"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_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:23:26Z","timestamp":1330194206000},"page":"360-372","source":"Crossref","is-referenced-by-count":7,"title":["Applications of topology to semantics of communicating processes"],"prefix":"10.1007","author":[{"given":"William C.","family":"Rounds","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"J. W. de Bakker and J. F. Zucker, \u201cProcesses and the denotational semantics of concurrency,\u201d Proc. 14th ACM Symp. on Theory of Computing, 153\u2013158.","DOI":"10.1016\/S0019-9958(82)91250-5"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"W. Golson and W. Rounds, \u201cConnections between two theories of concurrency: metric spaces and synchronization trees,\u201d Tech. Rep. CRL-TR-3-83, Computing Research Laboratory, University of Michigan, 1983 (to appear in Inf. Control)","DOI":"10.1016\/S0019-9958(83)80039-4"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"M. Hennessy and R. Milner, \u201cOn observing Nondeterminism and Concurrency,\u201d Proc. 7th ICALP, LNCS 85 (1980).","DOI":"10.1007\/3-540-10003-2_79"},{"key":"17_CR4","volume-title":"\u201cA mathematical model for communicating processes,\u201d Report PRG-16","author":"C. A. R. R. Hoare","year":"1981","unstructured":"C. A. R. Hoare, S. D. Brookes, and W. Roscoe, \u201cA mathematical model for communicating processes,\u201d Report PRG-16, Programming Research Group, Oxford (1981). Also to appear in JACM."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"R. Milner, \u201cA calculus of communicating systems,\u201d LNCS 92, (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"17_CR6","first-page":"561","volume":"154","author":"E. Olderog","year":"1983","unstructured":"E. Olderog and C. A. R. Hoare, \u201cSpecification-oriented semantics for communicating processes,\u201d Proc. 10th ICALP, LNCS 154 (1983), 561\u2013572.","journal-title":"Proc. 10th ICALP, LNCS"},{"key":"17_CR7","unstructured":"W. Roscoe, \u201cA mathematical theory of communicating processes,\u201d D.Phil. thesis, Oxford (1982)."},{"key":"17_CR8","unstructured":"W. Rounds, \u201cOn the relationships between Scott domains, synchronization trees, and metric spaces,\u201d Tech. Rep. CRL-TR-25-83, Computing Research Laboratory, University of Michigan (1983)."},{"key":"17_CR9","first-page":"662","volume":"154","author":"M. Smyth","year":"1983","unstructured":"M. Smyth, \u201cPower domains and predicate transformers: a topological view,\u201d Proc. 10th ICALP, LNCS 154 (1983), 662\u2013675.","journal-title":"Proc. 10th ICALP, LNCS"}],"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_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:41Z","timestamp":1605643721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}