{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:37Z","timestamp":1742617237695,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:09:46Z","timestamp":1330294186000},"page":"279-297","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic scheduling in the presence of faults: Specification and verification"],"prefix":"10.1007","author":[{"given":"Tomasz","family":"Janowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathai","family":"Joseph","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73\u2013132, 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR2","first-page":"1","volume":"372","author":"M. Abadi","year":"1989","unstructured":"M. Abadi, L. Lamport, and P. Wolper. Realizable and unrealizable specifications of reactive systems. LNCS, 372:1\u201317, 1989.","journal-title":"LNCS"},{"issue":"3","key":"16_CR3","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF01088520","volume":"7","author":"A.A. Bertossi","year":"1994","unstructured":"A.A. Bertossi and L.V. Mancini. Scheduling algorithms for fault-tolerance in hardreal-time systems. Real-Time Systems, 7(3):229\u2013245, 1994.","journal-title":"Real-Time Systems"},{"issue":"3","key":"16_CR4","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF01384499","volume":"6","author":"A. Borjesson","year":"1995","unstructured":"A. Borjesson, K.G. Larsen, and A. Skou. Generality in design and compositional verification using TAV. Formal Methods in System Design, 6(3):239\u2013258, 1995.","journal-title":"Formal Methods in System Design"},{"key":"16_CR5","unstructured":"A. Burns and A. Wellings. A computational model for fixed priority scheduling. In M. Joseph, editor, Real-Time Systems: Specification, Verification and Analysis. Prentice-Hall, 1995."},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1006\/inco.1995.1003","volume":"116","author":"J. Camilleri","year":"1995","unstructured":"J. Camilleri and G. Winskel. CCS with priority choice. Information and Computation, 116:26\u201337, 1995.","journal-title":"Information and Computation"},{"key":"16_CR7","first-page":"253","volume":"715","author":"K. Cerans","year":"1993","unstructured":"K. Cerans, J.C. Godskesen, and K.G. Larsen. Timed modal specifications. LNCS, 715:253\u2013267, 1993.","journal-title":"LNCS"},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/0890-5401(90)90059-Q","volume":"87","author":"R. Cleaveland","year":"1990","unstructured":"R. Cleaveland and M. Hennessy. Priorities in process algebras. Information and Computation, 87:58\u201377, 1990.","journal-title":"Information and Computation"},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1006\/inco.1994.1066","volume":"113","author":"R. Gerber","year":"1994","unstructured":"R. Gerber and I. Lee. A resource-based prioritized bisimulation for real-time systems. Information and Computation, 113:102\u2013142, 1994.","journal-title":"Information and Computation"},{"key":"16_CR10","unstructured":"J.C. Godskesen et al. Epsilon \u2014 User's Manual. Department of Mathematics and Computer Science, University of Aalborg, 1993."},{"key":"16_CR11","unstructured":"M. Hennessy and T. Regan. A process algebra for timed systems. Technical report, University of Sussex, 1991."},{"key":"16_CR12","unstructured":"T. Janowski. Bisimulation and Fault-Tolerance. PhD thesis, Department of Computer Science, University of Warwick, 1995."},{"key":"16_CR13","first-page":"215","volume":"299","author":"K. Larsen","year":"1988","unstructured":"K. Larsen. Proof systems for Hennessy-Milner logic with recursion. LNCS, 299:215\u2013230, 1988.","journal-title":"LNCS"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"K. Larsen. Modal specifications. LNCS, 407, 1990.","DOI":"10.1007\/978-1-4613-0613-9_46"},{"key":"16_CR15","volume-title":"PhD thesis","author":"K.G. Larsen","year":"1986","unstructured":"K.G. Larsen. Context-Dependent Bisimulation Between Processes. PhD thesis, University of Edinburgh, Scotland, 1986."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"K.G. Larsen and B. Thomsen. A modal process logic. In Proc. 3rd Annual Symposium on Logic in Computer Science, pages 203\u2013210, 88.","DOI":"10.1109\/LICS.1988.5119"},{"key":"16_CR17","unstructured":"X. Liu. Specification and Decomposition in Concurrency. PhD thesis, Department of Mathematics and Computer Science, University of Aalborg, 1992."},{"key":"16_CR18","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1007\/BF01211393","volume":"4","author":"Z. Liu","year":"1992","unstructured":"Z. Liu and M. Joseph. Transformations of programs for fault-tolerance. Formal Aspects of Computing, 4:442\u2013469, 1992.","journal-title":"Formal Aspects of Computing"},{"key":"16_CR19","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall International, 1989."},{"key":"16_CR20","unstructured":"F. Moller and C. Tofts. A temporal calculus of comm. systems. LNCS, 458, 90."},{"key":"16_CR21","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(89)90128-X","volume":"68","author":"J. Parrow","year":"89","unstructured":"J. Parrow. Submodule construction as equation solving in CCS. Theoretical Computer Science, 68:175\u2013202, 89.","journal-title":"Theoretical Computer Science"},{"key":"16_CR22","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF01893146","volume":"8","author":"P. Pleinevaux","year":"1995","unstructured":"P. Pleinevaux. Real-time fault tolerant operation of the 802.5 token ring. Real-Time Systems, 8:79\u201391, 1995.","journal-title":"Real-Time Systems"},{"key":"16_CR23","unstructured":"K. Ramamritham. Dynamic priority scheduling. In M. Joseph, editor, Real-Time Systems: Specification, Verification and Analysis. Prentice-Hall, 1995."},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"A. Salwicki and T. M\u00fcldner. On the algorithmic properties of concurrent programs. LNCS, 125, 1981.","DOI":"10.1007\/3-540-11160-3_6"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"R.D. Schlichting and F.B. Schneider. Fail stop processors: An approach to designing fault-tolerant computing systems. ACM Trans. on Comp. Sys., 1(3), 1983.","DOI":"10.1145\/357369.357371"},{"key":"16_CR26","unstructured":"Wang Yi. A Calculus of Real Time Systems. PhD thesis, Department of Computer Science, Chalmers University of Technology, 1991."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:23:51Z","timestamp":1742599431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}