{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:56Z","timestamp":1725663836734},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539322"},{"type":"electronic","value":"9783540464525"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53932-8_43","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:18:26Z","timestamp":1330208306000},"page":"36-63","source":"Crossref","is-referenced-by-count":1,"title":["Analysing TM FS : A study of nondeterminism in real-time concurrency"],"prefix":"10.1007","author":[{"given":"G. M.","family":"Reed","sequence":"first","affiliation":[]},{"given":"A. W.","family":"Roscoe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"S.R. Blamey, The soundness and completeness of axioms for CSP processes, Topology, Category Theory and Computer Science, (Oxford University, Press, 1990), G.M. Reed, A.W. Roscoe, R.F. Wachter, editors.","DOI":"10.1093\/oso\/9780198537601.003.0002"},{"key":"3_CR2","unstructured":"A. Boucher and R. Gerth, A timed failures model for extended communicating sequential processes, ICALP'87, Springer LNCS"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1894","unstructured":"S.D. Brookes, C.A.R. Hoare and A.W. Roscoe, A theory of communicating sequential processes, JACM 31 (1894), 560\u2013599.","journal-title":"JACM"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"S.D. Brookes and A.W. Roscoe, An improved failures model for communicating processes, Proceedings of the Pittsburgh Seminar on Concurrency, Springer LNCS 197 (1985).","DOI":"10.1007\/3-540-15670-4_14"},{"key":"3_CR5","first-page":"129","volume":"442","author":"J.W. Davies","year":"1990","unstructured":"J.W. Davies and S.A. Schneider, Factorising proofs in Timed CSP, Proceedings of the Fifth Workshop on the Mathematical Foundations of Programming Language Semantics (April, 1989), LNCS 442 (1990), 129\u2013159.","journal-title":"LNCS"},{"key":"3_CR6","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall International, 1985."},{"key":"3_CR7","unstructured":"D.M. Jackson, The sepcification of aircraft engine control software using Timed CSP, Oxford University M.Sc. differtation, 1989."},{"key":"3_CR8","unstructured":"D.M. Jackson, Specifying Timed Communicating Sequential Processes using temporal logic, Technical Report PRG-90-5, Oxford university Computing Laboratory 1990."},{"key":"3_CR9","unstructured":"G.M. Reed, A uniform mathematical theory for real-time distributed computing, Oxford University D.Phil thesis 1988."},{"key":"3_CR10","first-page":"80","volume":"442","author":"G.M. Reed","year":"1990","unstructured":"G.M. Reed, A hierarchy of models for real-time distributed computing, Proceedings of the Fifth Workshop on the Mathematical Foundations of Programming Language Semantics (April, 1989), LNCS 442 (1990), 80\u2013128.","journal-title":"LNCS"},{"key":"3_CR11","first-page":"314","volume":"226","author":"G.M. Reed","year":"1986","unstructured":"G.M. Reed and A.W. Roscoe, A timed model for communicating sequential processes, Proceedings of ICALP'86, Springer LNCS 226 (1986), 314\u2013323; Theoretical Computer Science 58, 249\u2013261.","journal-title":"Springer LNCS"},{"key":"3_CR12","first-page":"331","volume":"298","author":"G.M. Reed","year":"1987","unstructured":"G.M. Reed and A.W. Roscoe, Metric spaces as models for real-time concurrency, Proceedings of the Third Workshop on the Mathematical Foundations of Programming Language Semantics (April, 1987), LNCS 298 (1988), 331\u2013343.","journal-title":"LNCS"},{"key":"3_CR13","unstructured":"G.M. Reed and A.W. Roscoe, The Timed Failures-Stability Model for CSP, submitted for publication."},{"key":"3_CR14","unstructured":"A.W. Roscoe, Unbounded nondeterminism in GSP, in \u2018Two papers on CSP', Technical monograph PRG-67, Oxford University Computing Laboratory 1988."},{"key":"3_CR15","unstructured":"S.A. Schneider, Correctness and communication in real-time systems, Oxford University D.Phil. thesis 1990. Published as technical monograph PRG-88."},{"key":"3_CR16","unstructured":"B. Scattergood, An application of Timed CSP to robot control software, Oxford University MSc dissertation 1990."},{"key":"3_CR17","unstructured":"R. Stamper, The specification of AGV control software using Timed GSP, Oxford University MSc dissertation 1990."},{"key":"3_CR18","unstructured":"A.E. Zwarico, A formal model of real-time computing, University of Pennsylvania technical report (1986)"}],"container-title":["Lecture Notes in Computer Science","Concurrency: Theory, Language, and Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53932-8_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T13:52:17Z","timestamp":1713621137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53932-8_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539322","9783540464525"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-53932-8_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}