{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T18:34:37Z","timestamp":1649010877865},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib. Comput."],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1007\/s00446-010-0102-8","type":"journal-article","created":{"date-parts":[[2010,4,30]],"date-time":"2010-04-30T11:31:45Z","timestamp":1272627105000},"page":"113-134","source":"Crossref","is-referenced-by-count":4,"title":["The mailbox problem"],"prefix":"10.1007","volume":"23","author":[{"given":"Marcos K.","family":"Aguilera","sequence":"first","affiliation":[]},{"given":"Eli","family":"Gafni","sequence":"additional","affiliation":[]},{"given":"Leslie","family":"Lamport","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,5,1]]},"reference":[{"issue":"2","key":"102_CR1","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"M. Abadi","year":"1991","unstructured":"Abadi M., Lamport L.: The existence of refinement mappings. Theor. Comput. Sci. 82(2), 253\u2013284 (1991)","journal-title":"Theor. Comput. Sci."},{"key":"102_CR2","doi-asserted-by":"crossref","unstructured":"Ellen, F., Lev, Y., Luchangco, V., Moir, M.: SNZI: scalable nonzero indicators. In: PODC \u201907: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, pp. 13\u201322. ACM, New York (2007). doi: 10.1145\/1281100.1281106","DOI":"10.1145\/1281100.1281106"},{"issue":"1","key":"102_CR3","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1145\/114005.102808","volume":"13","author":"M.P. Herlihy","year":"1991","unstructured":"Herlihy M.P.: Wait-free synchronization. ACM Trans. Program. Lang. Syst. 13(1), 124\u2013149 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3","key":"102_CR4","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M.P. Herlihy","year":"1990","unstructured":"Herlihy M.P., Wing J.M.: Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. 12(3), 463\u2013492 (1990)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"8","key":"102_CR5","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/361082.361093","volume":"17","author":"L. Lamport","year":"1974","unstructured":"Lamport L.: A new solution of Dijkstra\u2019s concurrent programming problem. Commun. ACM 17(8), 453\u2013455 (1974)","journal-title":"Commun. ACM"},{"issue":"2","key":"102_CR6","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L. Lamport","year":"1977","unstructured":"Lamport L.: Proving the correctness of multiprocess programs. IEEE Trans. Softw. Eng. SE 3(2), 125\u2013143 (1977)","journal-title":"IEEE Trans. Softw. Eng. SE"},{"key":"102_CR7","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/BF01786228","volume":"1","author":"L. Lamport","year":"1986","unstructured":"Lamport L.: On interprocess communication\u2014part II: algorithms. Distrib. Comput. 1, 86\u2013101 (1986)","journal-title":"Distrib. Comput."},{"issue":"3","key":"102_CR8","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16(3), 872\u2013923 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"102_CR9","doi-asserted-by":"crossref","unstructured":"Lamport, L.: The PlusCal algorithm language. In: Leucker, M., Morgan, C. (eds.) Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing, Springer, Berlin. Lecture Notes in Computer Science, vol. 5684, pp. 36\u201360 (2009). Current information on PlusCal can be found at http:\/\/research.microsoft.com\/users\/lamport\/tla\/pluscal.html . The page can also be found by searching the Web for the 25-letter string obtained by removing the \u201c-\u201d from uid-lamportpluscalhomepage","DOI":"10.1007\/978-3-642-03466-4_2"},{"issue":"2","key":"102_CR10","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/358818.358824","volume":"23","author":"B.W. Lampson","year":"1980","unstructured":"Lampson B.W., Redell D.D.: Experience with processes and monitors in mesa. Commun. ACM 23(2), 105\u2013117 (1980)","journal-title":"Commun. ACM"},{"key":"102_CR11","volume-title":"Distributed algorithms","author":"N.A. Lynch","year":"1995","unstructured":"Lynch N.A.: Distributed algorithms. Morgan Kaufmann, San Mateo (1995)"},{"issue":"1","key":"102_CR12","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/357195.357198","volume":"5","author":"G.L. Peterson","year":"1983","unstructured":"Peterson G.L.: Concurrent reading while writing. ACM Trans. Program. Lang. Syst. 5(1), 46\u201355 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"102_CR13","unstructured":"Saltzer, J.H.: Traffic control in a multiplexed computer system. Project MAC Technical Report MAC-TR-30, M.I.T. (1966)"},{"key":"102_CR14","doi-asserted-by":"crossref","unstructured":"Yu, Y., Manolios, P., Lamport, L.: Model checking TLA + specifications. In: Pierre, L., Kropf, T. (eds.) Correct Hardware Design and Verification Methods. Springer, Berlin. Lecture Notes in Computer Science, vol. 1703, pp. 54\u201366, 10th IFIP wg 10.5 Advanced Research Working Conference, CHARME \u201999 (1999)","DOI":"10.1007\/3-540-48153-2_6"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-010-0102-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00446-010-0102-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-010-0102-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T13:26:43Z","timestamp":1559136403000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00446-010-0102-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,1]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,10]]}},"alternative-id":["102"],"URL":"https:\/\/doi.org\/10.1007\/s00446-010-0102-8","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,1]]}}}