{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:51Z","timestamp":1725663531872},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550921"},{"type":"electronic","value":"9783540466925"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55092-5_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:28:18Z","timestamp":1330212498000},"page":"131-147","source":"Crossref","is-referenced-by-count":4,"title":["Real-time scheduling by queue automata"],"prefix":"10.1007","author":[{"given":"L.","family":"Breveglieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Cherubini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Crespi-Reghizzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0304-3975(88)90019-9","volume":"58","author":"F.J. Brandenburg","year":"1988","unstructured":"Brandenburg F.J. \u201cOn the intersections of stacks and queues\u201d, Theor. Comp. Sc., 58, 69\u201380, 1988.","journal-title":"Theor. Comp. Sc."},{"key":"8_CR2","volume-title":"Rept.N\u2218. 90053","author":"L. Breveglieri","year":"1990","unstructured":"Breveglieri L. et al. \u201cStacks, queues and their languages\u201d, Rept.N\u2218. 90053, Dipt. Elettronica, Politecnico di Milano, 1990."},{"issue":"3","key":"8_CR3","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1142\/S0129054190000163","volume":"1","author":"A. Cherubini","year":"1990","unstructured":"Cherubini A., et al. \u201cBreadth and depth grammars and dequeue automata\u201d, Foundations of Comp. Sc., 1, 3, 1990, 219\u2013232.","journal-title":"Foundations of Comp. Sc."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Cherubini A. et al. \u201cQuasi-real-time FIFO automata, breadth-first grammars and their relations\u201d, Theor. Comp. Sc., 1991.","DOI":"10.1016\/0304-3975(91)90053-5"},{"key":"8_CR5","volume-title":"Software design for real-time systems","author":"J.E. Cooling","year":"1990","unstructured":"Cooling J.E. Software design for real-time systems, Chapman and Hall, London 1990."},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"P.J. Courtois","year":"1971","unstructured":"Courtois P.J., Heyman R. and Parnas D.I. \u201cConcurrent control with readers and writers\u201d, Comm.ACM, 14, 1971, 667\u2013668.","journal-title":"Comm.ACM"},{"issue":"7","key":"8_CR7","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1109\/32.56100","volume":"16","author":"D. Hemmendinger","year":"1990","unstructured":"Hemmendinger D. \u201cSpecifying Ada server tasks with executable formal grammars\u201d, IEEE Trans.SE, 16, 7, Jul. 1990, 741\u2013754.","journal-title":"IEEE Trans.SE"},{"key":"8_CR8","unstructured":"Herrtwich R.G. \u201cAn introduction to real-time schedulers\u201d, Rept. N\u221890-035, Int. Comp. Sc. Inst., July, 1990."},{"issue":"1","key":"8_CR9","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"Liu C.L. and Layland J.W. \u201cScheduling algorithms for multiprogramming in a hard-real-time environment\u201d, Journ. ACM, 20, 1, Jan. 1973, 46\u201361.","journal-title":"Journ. ACM"},{"issue":"3","key":"8_CR10","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1145\/321406.321408","volume":"14","author":"G.K. Manacher","year":"1967","unstructured":"Manacher G.K. \u201cProduction and stabilization of real-time task schedules\u201d, Journ. ACM, 14, 3, Jul. 1967, 439\u2013465.","journal-title":"Journ. ACM"},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0304-3975(80)90047-X","volume":"11","author":"B. Vauquelin","year":"1980","unstructured":"Vauquelin B. and Franchi Zannettacci P. \u201cAutomates \u00e0 file\u201d, Theor. Comp. Sc., 11, 221\u2013225, 1980.","journal-title":"Theor. Comp. Sc."},{"key":"8_CR12","first-page":"50","volume":"5","author":"R. Vollmar","year":"1970","unstructured":"Vollmar R. \u201cUeber einem Automaten mit Pufferspeicherung\u201d, Computer, 5, 50\u201370, 1970.","journal-title":"Computer"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55092-5_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:33Z","timestamp":1605646653000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55092-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540550921","9783540466925"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-55092-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}