{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:34:45Z","timestamp":1725496485883},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668565"},{"type":"electronic","value":"9783540466741"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46674-6_24","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T15:50:17Z","timestamp":1196351417000},"page":"281-293","source":"Crossref","is-referenced-by-count":6,"title":["Formal Verification of the MCS List-Based Queuing Lock"],"prefix":"10.1007","author":[{"given":"Kazuhiro","family":"Ogata","sequence":"first","affiliation":[]},{"given":"Kokichi","family":"Futatsugi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Chandy, K. M. and Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley. 1988","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Diaconescu, R. and Futatsugi, K.: CafeOBJ Report. AMAST Series in Computing 6. World Scientific. 1998","DOI":"10.1142\/3831"},{"key":"24_CR3","unstructured":"Goguen, J. and Malcolm, G.: A Hidden Agenda. Technical Report CS97-538. Univ. of California at San Diego. 1997"},{"key":"24_CR4","unstructured":"Lynch, N. A.: Distributed Algorithm. Morgan-Kaufmann. 1996"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Manna, Z. and Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag. 1991","DOI":"10.1007\/978-1-4612-0931-7"},{"issue":"1","key":"24_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/103727.103729","volume":"9","author":"J.M. Mellor-Crummery","year":"1991","unstructured":"Mellor-Crummery, J.M. and Scott, L.: Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors. ACM Trans. Comput. Syst. 9(1). (1991) 21\u201365","journal-title":"ACM Trans. Comput. Syst"},{"key":"24_CR7","unstructured":"Nakagawa, A. T., Sawada, T. and Futatsugi, K: CafeOBJ User\u2019s Manual-ver.1.3-. 1997. Available at http:\/\/caraway.jaist.ac.jpcafeobj"}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46674-6_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T08:56:20Z","timestamp":1557046580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46674-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668565","9783540466741"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-46674-6_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}