{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:51:05Z","timestamp":1725511865918},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540712886"},{"type":"electronic","value":"9783540712893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71289-3_14","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T20:03:44Z","timestamp":1183493024000},"page":"155-169","source":"Crossref","is-referenced-by-count":0,"title":["A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces"],"prefix":"10.1007","author":[{"given":"C\u00e9sar","family":"S\u00e1nchez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henny B.","family":"Sipma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zohar","family":"Manna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Birrell, A.D.: An introduction to programming with threads. Research Report\u00a035, Digital Equipment Corporation Systems Research Center (1989)"},{"key":"14_CR2","unstructured":"Dijkstra, E.W.: Cooperating sequential processes. Technical Report EWD-123, Technological University, Eindhoven, the Netherlands (1965)"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1145\/363156.363160","volume":"12","author":"A.N. Habermann","year":"1969","unstructured":"Habermann, A.N.: Prevention of system deadlocks. Communications of the ACM\u00a012, 373\u2013377 (1969)","journal-title":"Communications of the ACM"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1147\/sj.72.0074","volume":"2","author":"J.W. Havender","year":"1968","unstructured":"Havender, J.W.: Avoiding deadlock in multi-tasking systems. IBM Systems Journal\u00a02, 74\u201384 (1968)","journal-title":"IBM Systems Journal"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/11945529_9","volume-title":"Principles of Distributed Systems","author":"C. S\u00e1nchez","year":"2006","unstructured":"S\u00e1nchez, C., Sipma, H.B., Gill, C.D., Manna, Z.: Distributed Priority Inheritance for Real-Time and Embedded Systems. In: Shvartsman, M.M.A.A. (ed.) OPODIS 2006. LNCS, vol.\u00a04305, pp. 110\u2013125. Springer, Heidelberg (2006)"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/1176887.1176891","volume-title":"Proceedings of the 6 th ACM & IEEE International Conference on Embedded Software (EMSOFT\u201906)","author":"C. S\u00e1nchez","year":"2006","unstructured":"S\u00e1nchez, C., Sipma, H.B., Manna, Z., Gill, C.: Efficient distributed deadlock avoidance with liveness guarantees. In: Min, S.L., Yi, W. (eds.) Proceedings of the 6\n                    th\n                   ACM & IEEE International Conference on Embedded Software (EMSOFT\u201906), Seoul, South Korea, October 2006, pp. 12\u201320. ACM, New York (2006)"},{"key":"14_CR7","volume-title":"Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS\u201906)","author":"C. S\u00e1nchez","year":"2006","unstructured":"S\u00e1nchez, C., Sipma, H.B., Manna, Z., Subramonian, V., Gill, C.: On efficient distributed deadlock avoidance for distributed real-time and embedded systems. In: Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS\u201906), Rhodas, Greece, IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/11562436_13","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"C. S\u00e1nchez","year":"2005","unstructured":"S\u00e1nchez, C., Sipma, H.B., Subramonian, V., Gill, C.D., Manna, Z.: Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 159\u2013173. Springer, Heidelberg (2005)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/286238.286248","volume":"41","author":"D.C. Schmidt","year":"1998","unstructured":"Schmidt, D.C.: Evaluating Architectures for Multi-threaded CORBA Object Request Brokers. Communications of the ACM (Special Issue on CORBA)\u00a041, 54\u201360 (1998)","journal-title":"Communications of the ACM"},{"key":"14_CR10","volume-title":"Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects, vol. 2","author":"D.C. Schmidt","year":"2000","unstructured":"Schmidt, D.C., Stal, M., Rohnert, H., Buschmann, F.: Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects, vol. 2. Wiley & Sons, New York (2000)"},{"key":"14_CR11","volume-title":"Operating System Concepts","author":"A. Silberschatz","year":"2003","unstructured":"Silberschatz, A., Galvin, P.B., Gagne, G.: Operating System Concepts, 6th edn. John Wiley & Sons, Inc., New York (2003)","edition":"6"},{"key":"14_CR12","volume-title":"Advanced Concepts in Operating Systems: Distributed, Database, and Multiprocessor Operating Systems","author":"M. Singhal","year":"1994","unstructured":"Singhal, M., Shivaratri, N.G.: Advanced Concepts in Operating Systems: Distributed, Database, and Multiprocessor Operating Systems. McGraw-Hill, Inc., New York (1994)"},{"key":"14_CR13","volume-title":"Operating Systems: Internals and Design Principles","author":"W. Stallings","year":"1998","unstructured":"Stallings, W.: Operating Systems: Internals and Design Principles, 3rd edn. Prentice Hall, Inc., Upper Saddle River (1998)","edition":"3"},{"key":"14_CR14","volume-title":"Proc. of 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS\u201904)","author":"V. Subramonian","year":"2004","unstructured":"Subramonian, V., Xing, G., Gill, C.D., Lu, C., Cytron, R.: Middleware specialization for memory-constrained networked embedded systems. In: Proc. of 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS\u201904), Toronto, Canada, May 2004, IEEE Computer Society Press, Los Alamitos (2004)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71289-3_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:17:57Z","timestamp":1605763077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71289-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540712886","9783540712893"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71289-3_14","relation":{},"subject":[]}}