{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:13:48Z","timestamp":1725473628368},"reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084803","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T08:12:14Z","timestamp":1164355934000},"page":"355-369","source":"Crossref","is-referenced-by-count":1,"title":["Using CSP to verify a timed protocol over a fair medium"],"prefix":"10.1007","author":[{"given":"Jim","family":"Davies","sequence":"first","affiliation":[]},{"given":"Steve","family":"Schneider","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis and D. Dill, Model checking for real time systems, Proceedings of the 5th Logics in Computer Science, 1990","DOI":"10.1109\/LICS.1990.113766"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur and T. Henzinger, Logics and models of real-time: a survey, Proceedings of REX '91, to appear in Springer LNCS","DOI":"10.1007\/BFb0031988"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"J. C. M. Baeten and J. A. Bergstra, Real time process algebra., Formal Aspects of Computing, Volume 3, Number 2, 1991","DOI":"10.1007\/BF01898401"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"S. D. Brookes and A. W. Roscoe, An improved failures model for communicating sequential processes, Proceedings of the Pittsburgh Seminar on Concurrency, Springer LNCS 197, 1985","DOI":"10.1007\/3-540-15670-4_14"},{"key":"26_CR5","unstructured":"J. Davies, Specification and proof in real-time systems, Programming Research Group Monograph PRG-93, Oxford University, 1991"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"N. Francez, Fairness, Springer-Verlag 1986","DOI":"10.1007\/978-1-4612-4886-6"},{"key":"26_CR7","unstructured":"M. Hennessy and T. Regan, A process algebra for timed systems, Report 5-91, School of Cognitive and Computing Sciences, University of Sussex 1991"},{"key":"26_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":"26_CR9","doi-asserted-by":"crossref","unstructured":"J. Hooman, Specification and compositional verification of real-time systems, Ph.D thesis, University of Eindhoven, 1991","DOI":"10.1007\/3-540-54947-1"},{"key":"26_CR10","unstructured":"D. M. Jackson, Specifying timed communicating sequential processes using temporal logic, PRG Report TR-5-90, Oxford University 1990"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"F. Jahanian and A.K. Mok, Safety analysis of timing properties in real-time systems, IEEE Transactions on Software Engineering, SE-12, 1986","DOI":"10.1109\/TSE.1986.6313045"},{"key":"26_CR12","unstructured":"A. S. Jeffrey, Observation spaces and timed processes, Oxford University D.Phil thesis, 1992"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"F. Moller and C. Tofts, A temporal calculus of communicating systems, Proceedings of CONCUR 90, Springer LNCS 458, 1990","DOI":"10.1007\/BFb0039073"},{"key":"26_CR14","unstructured":"D. V. J. Murphy, Time, causality and concurrency, Surrey University Ph.D thesis, 1990"},{"key":"26_CR15","unstructured":"X. Nicollin, J.-L. Richier, J. Sifakis and J. Voiron, ATP: an algebra for timed processes, Proceedings of the IFIP Conference on Programming Concepts and Methods, 1990"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis and S. Yovine, From ATP to timed graphs and hybrid systems, Proceedings of REX '91, to appear in Springer LNCS","DOI":"10.1007\/BFb0032007"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Y. Ortega-Mallen and D. de Frutos-Escrig, A complete proof system for timed observations, Proceedings of TAPSOFT 91, Springer LNCS 493, 1991","DOI":"10.1007\/3-540-53982-4_23"},{"key":"26_CR18","unstructured":"G. M. Reed, A uniform mathematical theory for real-time distributed computing, Oxford University D.Phil thesis, 1988"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"G. M. Reed and A. W. Roscoe, A timed model for communicating sequential processes, Proceedings of ICALP'86, Springer LNCS 226, 1986","DOI":"10.1007\/3-540-16761-7_81"},{"key":"26_CR20","unstructured":"A. W. Roscoe, Unbounded nondeterminism in CSP, Programming Research Group Technical Monograph PRG-67, Oxford University, 1988"},{"key":"26_CR21","unstructured":"S. Schneider, Unbounded nondeterminism in Timed CSP, to appear"}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084803.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T16:30:09Z","timestamp":1683649809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0084803","relation":{},"subject":[]}}