{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T20:14:11Z","timestamp":1648584851722},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,11,1]],"date-time":"1994-11-01T00:00:00Z","timestamp":783648000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1994,11]]},"DOI":"10.1007\/bf01088523","type":"journal-article","created":{"date-parts":[[2005,2,7]],"date-time":"2005-02-07T07:50:47Z","timestamp":1107762647000},"page":"291-313","source":"Crossref","is-referenced-by-count":0,"title":["Compositional reasoning about responsive systems with limited resources"],"prefix":"10.1007","volume":"7","author":[{"given":"Henk","family":"Schepers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M. and L. Lamport. An old-fashioned recipe for real time, in:Proc. REX Workshop on Real-Time: Theory in Practice, Lecture Notes in Computer Science600 (Springer-Verlag, 1992) 1?27.","DOI":"10.1007\/BFb0031985"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Barringer, H., R. Kuiper, and A. Pnueli. A really abstract concurrent model and its temporal logic, in:Proc. 13th ACM Symposium on Principles of Programming Languages (ACM, 1986) 173?183.","DOI":"10.1145\/512644.512660"},{"issue":"2","key":"CR3","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/102792.102801","volume":"34","author":"F. Cristian","year":"1991","unstructured":"Cristian, F. Understanding fault-tolerant distributed systems,Communications of the ACM 34(2) (1991) 56?78.","journal-title":"Communications of the ACM"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Gerth, R. and A. Boucher. A timed failures model for Extended Communicating Processes, in:Proc. 14th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science267 (Springer-Verlag, 1987) 95?114.","DOI":"10.1007\/3-540-18088-5_9"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Harel, D. and A. Pnueli. On the development of reactive systems,in: K.R. Apt (ed.),Logics and Models of Concurrent Systems (Springer-Verlag, 1985) 477?498.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Hooman, J. Specification and compositional verification of real-time systems,Lecture Notes in Computer Science 558 (Springer-Verlag, 1992).","DOI":"10.1007\/3-540-54947-1"},{"key":"CR7","unstructured":"INMOS Limited. occam 2Reference Manual (Prentice Hall, 1988)."},{"issue":"3","key":"CR8","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1016\/0890-5401(88)90020-X","volume":"79","author":"R. Koymans","year":"1988","unstructured":"Koymans, R., R.K. Shyamasundar, W.-P. de Roever, R. Gerth and S. Arun-Kumar. 1988. Compositional semantics for real-time distributed computing,Information and Computation 79(3) 210?256.","journal-title":"Information and Computation"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Lee, P. A. and T. Anderson,Fault Tolerance: Principles and Practice (Springer-Verlag, 1990).","DOI":"10.1007\/978-3-7091-8990-0"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Reed, G. M. and A. W. Roscoe. A timed model for communicating sequential processes,Lecture Notes in Computer Science 226 (Springer-Verlag, 1986) 314?323.","DOI":"10.1007\/3-540-16761-7_81"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Schepers, H. 1993a. Tracing fault tolerance, in:Proc. 3rd IFIP Int. Working Conference on Dependable Computing for Critical Applications, Dependable Computing and Fault-Tolerant Systems8 (Springer-Verlag, 1993) 91?110.","DOI":"10.1007\/978-3-7091-4009-3_4"},{"key":"CR12","unstructured":"Schepers, H. 1993b. Compositional reasoning about responsive systems with limited computing resources, Eindhoven University of Technology, 1993."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Schepers, H. and R. Gerth. A compositional proof theory for fault-tolerant real-time distributed systems, in:Proc. 12th Symp. on Reliable Distributed Systems (IEEE Computer Society Press, 1993) 34?43.","DOI":"10.1109\/RELDIS.1993.393475"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Schepers, H. and J. Hooman. Trace-based compositional reasoning about fault-tolerant systems, in:Proc. Parallel Architectures and Languages Europe (PARLE) '93, Lecture Notes in Computer Science694 (Springer-Verlag, 1993) 197?208. An extended version appeared inTheoretical Computer Science 128(1?2) (1994) 127?157.","DOI":"10.1007\/3-540-56891-3_16"}],"container-title":["Real-time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088523.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088523\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088523","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T17:03:07Z","timestamp":1586106187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088523"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,11]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,11]]}},"alternative-id":["BF01088523"],"URL":"https:\/\/doi.org\/10.1007\/bf01088523","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,11]]}}}