{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T12:53:04Z","timestamp":1768567984654,"version":"3.49.0"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1993,10,1]],"date-time":"1993-10-01T00:00:00Z","timestamp":749433600000},"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":[[1993,10]]},"DOI":"10.1007\/bf01088832","type":"journal-article","created":{"date-parts":[[2005,2,8]],"date-time":"2005-02-08T10:08:35Z","timestamp":1107857315000},"page":"285-303","source":"Crossref","is-referenced-by-count":23,"title":["A formalization of priority inversion"],"prefix":"10.1007","volume":"5","author":[{"given":"\u00d6zalp","family":"Babao\u011flu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith","family":"Marzullo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fred B.","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01088832_CR1","unstructured":"Abbott, R. and Garcia-Molina, H. 1989. Scheduling real-time transactions with disk resident data.Proc. 15th VLDB Conference. Amsterdam, The Netherlands, pp. 385\u2013396."},{"key":"BF01088832_CR2","volume-title":"Concurrency Control and Recovery in Database Systems","author":"P. Bernstein","year":"1987","unstructured":"Bernstein, P., Hadzilacos, V. and Goodman, N. 1987.Concurrency Control and Recovery in Database Systems. Reading, MA: Addison-Wesley."},{"key":"BF01088832_CR3","volume-title":"The Logical Design of Operating Systems","author":"L. Bic","year":"1988","unstructured":"Bic, L. and Shaw, A.C. 1988.The Logical Design of Operating Systems. Englewood Cliffs, NJ: Prentice-Hall."},{"issue":"1","key":"BF01088832_CR4","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"Chandy, K.M. and Lamport, L. 1985. Distributed snapshots: Determining global states of distributed systems.ACM Transactions of Computer Systems, 3(1):63\u201375.","journal-title":"ACM Transactions of Computer Systems"},{"key":"BF01088832_CR5","volume-title":"Operating Systems Theory","author":"E.G. Coffman Jr.","year":"1973","unstructured":"Coffman, E.G. Jr. and Denning, P.J. 1973.Operating Systems Theory. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"BF01088832_CR6","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W. 1976.A Discipline of Programming. Englewood Cliffs, NJ: Prentice-Hall."},{"issue":"2","key":"BF01088832_CR7","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1147\/sj.72.0074","volume":"7","author":"J.W. Havender","year":"1968","unstructured":"Havender, J.W. 1968. Avoiding deadlock for multitasking systems.IBM Systems Journal, 7(2):74\u201384.","journal-title":"IBM Systems Journal"},{"issue":"2","key":"BF01088832_CR8","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/358818.358824","volume":"23","author":"B.W. Lampson","year":"1980","unstructured":"Lampson, B.W. and Redell, D.D. 1980. Experience with processes and monitors in Mesa.Communications of the ACM, 23(2):105\u2013117.","journal-title":"Communications of the ACM"},{"key":"BF01088832_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. 1973. Scheduling algorithms for multiprogramming in hard real-time environment.Journal of the ACM, 20:46\u201361.","journal-title":"Journal of the ACM"},{"key":"BF01088832_CR10","unstructured":"Marzullo, K. 1989. Concurrency control for transactions with priority. Technical Report 89-996, Department of Computer Science, Cornell University."},{"key":"BF01088832_CR11","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/BF00289247","volume":"8","author":"B. Munch-Anderson","year":"1977","unstructured":"Munch-Anderson, B. and Zahle, T.U. 1977. Scheduling according to job priority with prevention of deadlock and permanent blocking.Acta Informatica. 8:153\u2013175.","journal-title":"Acta Informatica"},{"key":"BF01088832_CR12","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","volume":"C-39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R. and Lehoczky, J.P. 1990. Priority inheritance protocols: An approach to real-time synchronization.IEEE Transactions on Computers. C-39:1175\u20131185.","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"BF01088832_CR13","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1145\/320071.320076","volume":"4","author":"R.H. Thomas","year":"1979","unstructured":"Thomas, R.H. 1979. A majority consensus approach to concurrency control for multiple copy databases.ACM Trans. on Database Systems. 4(2):180\u2013209.","journal-title":"ACM Trans. on Database Systems"},{"key":"BF01088832_CR14","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1109\/TC.1987.5009518","volume":"C-36","author":"W. Zhao","year":"1987","unstructured":"Zhao, W., Ramamritham, K. and Stankovic, J.A. 1987. Preemptive scheduling under time and resource constraints.IEEE Transactions on Computers. C-36:949\u2013960.","journal-title":"IEEE Transactions on Computers"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088832.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088832\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088832","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T05:56:10Z","timestamp":1556603770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088832"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,10]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1993,10]]}},"alternative-id":["BF01088832"],"URL":"https:\/\/doi.org\/10.1007\/bf01088832","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,10]]}}}