{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T08:15:53Z","timestamp":1775636153227,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642198281","type":"print"},{"value":"9783642198298","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19829-8_4","type":"book-chapter","created":{"date-parts":[[2011,3,16]],"date-time":"2011-03-16T14:20:41Z","timestamp":1300285241000},"page":"49-63","source":"Crossref","is-referenced-by-count":3,"title":["A High-Level Language for Modeling Algorithms and Their Properties"],"prefix":"10.1007","author":[{"given":"Sabina","family":"Akhtar","sequence":"first","affiliation":[]},{"given":"Stephan","family":"Merz","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Quinson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Computer Networks\u00a014 (1987)","DOI":"10.1016\/0169-7552(87)90085-7"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","volume":"14","author":"S. Budkowski","year":"1987","unstructured":"Budkowski, S., Dembinski, P.: An introduction to Estelle: A specification language for distributed systems. Comput. Netw. ISDN Syst.\u00a014(1), 3\u201323 (1987)","journal-title":"Comput. Netw. ISDN Syst."},{"issue":"8","key":"4_CR3","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, non-determinacy and formal derivation of programs. Commun. ACM\u00a018(8), 453\u2013457 (1975)","journal-title":"Commun. ACM"},{"key":"4_CR4","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G. Holzmann","year":"2004","unstructured":"Holzmann, G.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2004)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Killian, C.E., Anderson, J.W., Braud, R., Jhala, R., Vahdat, A.: Mace: Language Support for Building Distributed Systems. In: PLDI, pp. 179\u2013188 (2007)","DOI":"10.1145\/1273442.1250755"},{"issue":"7","key":"4_CR6","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/7351.7352","volume":"5","author":"L. Lamport","year":"1987","unstructured":"Lamport, L.: A fast mutual-exclusion algorithm. ACM Trans. Computer Systems\u00a05(1), 1\u201311 (1987)","journal-title":"ACM Trans. Computer Systems"},{"key":"4_CR8","volume-title":"Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers","author":"L. Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Reading (2002)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/11864219_11","volume-title":"Distributed Computing","author":"L. Lamport","year":"2006","unstructured":"Lamport, L.: Checking a multithreaded algorithm with +CAL. In: Dolev, S. (ed.) DISC 2006. LNCS, vol.\u00a04167, pp. 151\u2013163. Springer, Heidelberg (2006)"},{"key":"4_CR10","unstructured":"Lamport, L.: A +CAL user\u2019s manual (2007), \n                  \n                    http:\/\/research.microsoft.com\/en-us\/um\/people\/lamport\/tla\/pluscal.html"},{"key":"4_CR11","volume-title":"Distributed Algorithms","author":"N.A. Lynch","year":"1996","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)"},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/jpdc.1996.0041","volume":"34","author":"M. Naimi","year":"1996","unstructured":"Naimi, M., Trehel, M., Arnold, A.: A log(n) distributed mutual exclusion algorithm based on path reversal. J. Parallel Distrib. Comput.\u00a034(1), 1\u201313 (1996)","journal-title":"J. Parallel Distrib. Comput."},{"issue":"3","key":"4_CR13","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0020-0190(81)90106-X","volume":"12","author":"G.L. Peterson","year":"1981","unstructured":"Peterson, G.L.: Myths about the mutual exclusion problem. Inf. Process. Lett.\u00a012(3), 115\u2013116 (1981)","journal-title":"Inf. Process. Lett."},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/3-540-48153-2_6","volume-title":"Correct Hardware Design and Verification Methods","author":"Y. Yu","year":"1999","unstructured":"Yu, Y., Manolios, P., Lamport, L.: Model checking TLA+ specifications. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol.\u00a01703, pp. 54\u201366. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19829-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T10:57:52Z","timestamp":1558436272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19829-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198281","9783642198298"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19829-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}