{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T13:13:51Z","timestamp":1790860431592,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540555643","type":"print"},{"value":"9783540472186","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0032011","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:36:29Z","timestamp":1134282989000},"page":"640-675","source":"Crossref","is-referenced-by-count":14,"title":["Timed CSP: Theory and practice"],"prefix":"10.1007","author":[{"name":"Oxford University Timed CSP Group","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"A. Boucher and R. Gerth, A timed model for extended communicating sequential processes, in Proceedings of ICALP 87, LNCS 267, pp 95\u2013114, Springer 1987.","DOI":"10.1007\/3-540-18088-5_9"},{"key":"27_CR2","unstructured":"J. Davies, Specification and proof in real-time systems, D.Phil thesis, Programming Research Group Technical Monograph PRG-93, Oxford University 1991."},{"key":"27_CR3","unstructured":"J. Davies, D.M. Jackson, and S.A. Schneider, Making things happen in Timed CSP, Programming Research Group Technical Report TR-2-90, Oxford University 1990."},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"J. Davies, D.M. Jackson, and S.A. Schneider, Broadcast communication for real-time processes, in Proceedings of the symposium on real-time and fault-tolerant systems, Nijmegen 1992, to appear in Springer LNCS.","DOI":"10.1007\/3-540-55092-5_9"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"J. Davies and S.A. Schneider, Factorising proofs in Timed CSP, in Proceedings of the fifth workshop on the mathematical foundations of programming language semantics, LNCS 442, pp 129\u2013159, Springer 1990.","DOI":"10.1007\/BFb0040256"},{"key":"27_CR6","unstructured":"J. Davies and S.A. Schneider, An extended syntax for Timed CSP, Programming Research Group Technical Report TR-4-90, Oxford University 1990."},{"key":"27_CR7","unstructured":"J. Davies and S.A. Schneider, Recursion induction for real-time processes, submitted for publication 1991."},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"27_CR9","unstructured":"D.M. Jackson, The specification of aircraft engine control software in Timed CSP, M.Sc thesis, Oxford University 1989."},{"key":"27_CR10","unstructured":"D.M. Jackson, Specifying timed communicating sequential processes using temporal logic, Programming Research Group Technical Report TR-5-90, Oxford University 1990."},{"key":"27_CR11","unstructured":"D.M. Jackson, A temporal logic proof system for Timed CSP, Programming Research Group Technical Report TR-2-91, Oxford University 1991."},{"key":"27_CR12","unstructured":"D.M. Jackson, J. Davies, G.M. Reed, A.W. Roscoe, and S.A. Schneider, Specifying timed communicating sequential processes in temporal logic, SPEC report, ESPRIT BRA 3096, 1990."},{"key":"27_CR13","unstructured":"G. Jones, A timed model of communicating processes, D.Phil thesis, Oxford University 1982."},{"issue":"4","key":"27_CR14","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C. Jones","year":"1982","unstructured":"C. Jones, Tentative steps towards a development method for interfering programs, ACM Trans Prog Lang 5 4, pp 596\u2013619, 1982.","journal-title":"ACM Trans Prog Lang"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"C. Jones, Interference resumed, Technical Report UMCS-91-5-1, Manchester University 1991; Australian Software Engineering Research 1991, P. Bailes (ed.), Springer 1991.","DOI":"10.1300\/J124V09N01_08"},{"key":"27_CR16","unstructured":"A. Kay, A theory of rely and guarantee in Timed CSP, in preparation 1991."},{"key":"27_CR17","unstructured":"A. Kay and J.N. Reed, A Specification of a Telephone Exchange in Timed CSP, Programming Research Group Technical Report TR-19-90, Oxford University 1990."},{"key":"27_CR18","unstructured":"A. Kay and J.N. Reed, Using rely and guarantee in Timed CSP, Programming Research Group Technical Report TR-11-91, Oxford University 1991."},{"key":"27_CR19","unstructured":"A. Kay and J.N. Reed, A rely and guarantee method for Timed CSP, submitted for publication 1991."},{"key":"27_CR20","unstructured":"G. Lowe, A probabilistic model of Timed CSP, D.Phil status transfer thesis, Oxford University, 1991."},{"key":"27_CR21","unstructured":"M.W. Mislove, A.W. Roscoe, and S.A. Schneider, Fixed points without completeness, in preparation 1991."},{"key":"27_CR22","unstructured":"G.M. Reed, A uniform mathematical theory for distributed computing, D.Phil thesis, Oxford University 1988."},{"key":"27_CR23","doi-asserted-by":"crossref","unstructured":"G.M. Reed, A hierarchy of models for real-time distributed computing, in Proceedings of the Fifth Workshop on the Mathematical Foundations of Programming Language Semantics, LNCS 442, pp 80\u2013128, Springer 1990.","DOI":"10.1007\/BFb0040255"},{"key":"27_CR24","unstructured":"G.M. Reed and A.W. Roscoe, A timed model for ommunicating sequential processes, in Proceedings of ICALP 86, LNCS 226, Springer 1987."},{"key":"27_CR25","doi-asserted-by":"crossref","unstructured":"G.M. Reed and A.W. Roscoe, Metric spaces as models for real-time concurrency, in Proceedings of the Third Workshop on the Mathematical Foundations of Programming Language Semantics, LNCS 298, pp 331\u2013343, Springer 1987.","DOI":"10.1007\/3-540-19020-1_17"},{"key":"27_CR26","doi-asserted-by":"crossref","unstructured":"G.M. Reed and A.W. Roscoe, A study of nondeterminism in real-time concurrency, in Proceedings of the Second UK-Japan CS Workshop, LNCS 491, pp 36\u201363, Springer 1991.","DOI":"10.1007\/3-540-53932-8_43"},{"key":"27_CR27","unstructured":"B. Scattergood, The description of a laboratory robot in Timed CSP, M.Sc thesis, Oxford University 1990."},{"key":"27_CR28","unstructured":"S.A. Schneider, Correctness and communication of real-time systems, D.Phil thesis, Oxford University 1990."},{"key":"27_CR29","unstructured":"S.A. Schneider, Unbounded non-determinism in Timed CSP, SPEC report, ESPRIT BRA 3096, 1991."},{"key":"27_CR30","unstructured":"S.A. Schneider, An operational semantics for Timed CSP, in Proceedings of the Chalmers Workshop on Concurrency, to appear 1992."},{"key":"27_CR31","unstructured":"S.A. Schneider, J. Davies, D.M. Jackson, G.M. Reed, and A.W. Roscoe, Communication and correctness in Timed CSP, SPEC report, ESPRIT BRA 3096, 1990."},{"key":"27_CR32","unstructured":"R. Stamper, The specification of AGV control software in Timed CSP, M.Sc thesis, Oxford University 1990."},{"key":"27_CR33","unstructured":"S. Superville, Specifying complex systems with Timed CSP: a decomposition and specification of a telephone exchange system which has a central controller, M.Sc thesis, Oxford University 1991."},{"key":"27_CR34","unstructured":"A.R. Wallace, A TCSP case study of a fiexible manufacturing system, M.Sc thesis, Oxford University 1990."},{"key":"27_CR35","unstructured":"The Ethernet Specification, available from the Xerox Corporation, reprinted in ACM Computer Communication Review, July 1981."}],"container-title":["Lecture Notes in Computer Science","Real-Time: Theory in Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0032011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T21:21:09Z","timestamp":1683321669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555643","9783540472186"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/bfb0032011","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}