{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:26Z","timestamp":1761611186643},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"0387973753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0040257","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T17:01:43Z","timestamp":1155834103000},"page":"160-193","source":"Crossref","is-referenced-by-count":8,"title":["Unbounded nondeterminism in CSP"],"prefix":"10.1007","author":[{"given":"A. W.","family":"Roscoe","sequence":"first","affiliation":[]},{"given":"Geoff","family":"Barrett","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Brookes, S.D., A Model for Communicating Sequential Processes, Oxford University D.Phil. thesis, 1983."},{"key":"6_CR2","unstructured":"Blamey, S.R., The soundness and completeness of axioms for CSP processes, submitted for publication."},{"issue":"3","key":"6_CR3","doi-asserted-by":"publisher","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 Vol. 31, No. 3 (July 1984) 560\u2013599.","journal-title":"JACM"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Brookes, S.D. and Roscoe, A.W., An improved failures model for communicating processes in Proc. of Pittsburgh symposium on concurrency, Springer LNCS !97 (1985).","DOI":"10.1007\/3-540-15670-4_14"},{"key":"6_CR5","unstructured":"Brookes, S.D., Roscoe A.W., and Walker, D.J., An operational semantics for CSP, Submitted for publication."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., Communicating sequential processes, Prentice-Hall, 1985","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"6_CR7","unstructured":"He Jifeng and Hoare, C.A.R., Algebraic specification and proof of properties of communicating sequential processes, Technical monograph PRG-52, Oxford University Computing Laboratory."},{"key":"6_CR8","unstructured":"Roscoe, A.W., A mathematical theory of communicating processes, Oxford University D.Phil. thesis, 1982."},{"key":"6_CR9","unstructured":"Roscoe, A.W., An alternative order for the failures model, in \u2018Two Papers on CSP', Technical monograph PRG-67, Oxford University Computing Laboratory."},{"key":"6_CR10","unstructured":"Roscoe, A.W., Unbounded nondeterminism in CSP, in \u2018Two Papers on CSP', Technical monograph PRG-67, Oxford University Computing Laboratory."},{"key":"6_CR11","unstructured":"Roscoe, A.W., Analysing infinitely branching trees, in preparation."},{"key":"6_CR12","unstructured":"Reed, G.M., A uniform mathematical theory for real-time distributed computing, Oxford University D.Phil. thesis, 1988."},{"key":"6_CR13","first-page":"314","volume":"226","author":"G.M. Reed","year":"1986","unstructured":"Reed, G.M., and Roscoe, A.W., A timed model for communicating sequential processes, Proceedings of ICALP'86, Springer LNCSS 226 (1986), 314\u2013323.","journal-title":"Proceedings of ICALP'86, Springer LNCSS"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Reed, G.M., and Roscoe, A.W., Metric spaces as models for real-time concurrency, in the proceedings of MFPLS87 Springer LNCS 298 (1988).","DOI":"10.1007\/3-540-19020-1_17"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0040257.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T15:14:50Z","timestamp":1683558890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0040257"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387973753"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0040257","relation":{},"subject":[]}}