{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T05:15:21Z","timestamp":1698210921002},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1981,1,1]],"date-time":"1981-01-01T00:00:00Z","timestamp":347155200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/bf00289593","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T04:07:05Z","timestamp":1096949225000},"page":"93-124","source":"Crossref","is-referenced-by-count":46,"title":["A formal model of atomicity in asynchronous systems"],"prefix":"10.1007","volume":"16","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Randell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Proceedings of the MFCS'80. Lecture Notes in Computer Science, Vol. 88","author":"E. Best","year":"1980","unstructured":"Best, E.: Proof of a current program finding Euler paths. In: Proceedings of the MFCS'80. Lecture Notes in Computer Science, Vol. 88. Berlin Heidelberg New York: Springer 1980"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Finding the correctness proof of a concurrent program. Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen, Series A, Vol. 81(2), 1978","DOI":"10.1007\/3-540-08921-7_54"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"966","DOI":"10.1145\/359642.359655","volume":"21","author":"E.W. Dijkstra","year":"1978","unstructured":"Dijkstra, E.W., Lamport, L., Martin, A.J., Scholten, C.S., Steffens, E.F.M.: On-the-fly garbage collection: an exercise in cooperation. CACM 21, 966?975 (1978)","journal-title":"CACM"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1145\/360363.360369","volume":"19","author":"R. Eswaran","year":"1976","unstructured":"Eswaran, R., Gray, J., Lorie, R., Traiger, I.: On the notions of consistency and predicate locks. CACM 19, 624?633 (1976)","journal-title":"CACM"},{"key":"CR5","volume-title":"Applied Mathematics, Vol. 19","author":"R.W. Floyd","year":"1967","unstructured":"Floyd, R.W.: Assigning meanings to programs. Applied Mathematics, Vol. 19, Providence: AMS 1967"},{"key":"CR6","series-title":"Lecture Notes in Computer Science, Vol. 84","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1007\/3-540-10001-6_39","volume-title":"Proceedings of the Advanced Course on General Net Theory","author":"H.J. Genrich","year":"1980","unstructured":"Genrich, H.J., Stankiewicz-Wiechno, E.: A dictionary of some basic notions of net theory. Proceedings of the Advanced Course on General Net Theory. Lecture Notes in Computer Science, Vol. 84, pp. 519?531. Berlin Heidelberg New York: Springer 1980"},{"key":"CR7","series-title":"Lecture Notes in Computer Science, Vol.60","first-page":"394","volume-title":"Operating systems","author":"J.N. Gray","year":"1978","unstructured":"Gray, J.N.: Notes on data base operating systems. In: Operating systems. Lecture Notes in Computer Science, Vol.60, pp. 394?481. Berlin Heidelberg New York: Springer 1978"},{"key":"CR8","unstructured":"Holt, A.W.: Final Report of the project on information systems theory. Applied Data Research ADR5606, and USAF ? Rome Air Development Centre, RADC-TR-68-305, 1968"},{"key":"CR9","unstructured":"Lampson, B.W., Sturgis, H.: Crash recovery in a distributed data storage system. Xerox PARC Report, 1978; CACM (in press, 1981)"},{"key":"CR10","volume-title":"Handbook of mathematical logic","year":"1977","unstructured":"Handbook of mathematical logic (J. Barwise, ed.). Amsterdam: North Holland (1977)"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/390017.808319","volume":"12","author":"D. Lomet","year":"1977","unstructured":"Lomet, D.: Process structuring, synchronisation and recovery using atomic actions. Proceedings of the ACM Conference on language design for reliable software. Sigplan Notices 12, 128?137 (1977)","journal-title":"Sigplan Notices"},{"key":"CR12","volume-title":"Mathematical theory of computation","author":"Z. Manna","year":"1974","unstructured":"Manna, Z.: Mathematical theory of computation. New York: McGraw Hill 1974"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"McDermid, J.A.: Checkpointing and recovery in distributed systems. Second International Conference on distributed computing systems. IEEE Computer Society Press, pp 271?282 (1981)","DOI":"10.1016\/0166-5316(81)90006-7"},{"key":"CR14","first-page":"129","volume-title":"FTCS-8","author":"P. Merlin","year":"1978","unstructured":"Merlin, P., Randell, B.: State restoration in distributed systems. In: FTCS-8, IEEE Toulouse, pp. 129?137, 1978"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Ore, O.: Theory of graphs. American Mathematical Society, Colloquium Publ. Vol. XXXVIII, Rhode Island, 1962","DOI":"10.1090\/coll\/038"},{"key":"CR16","unstructured":"Owicki, S., Lamport, L.: Proving liveness properties of concurrent programs. Op. 57, Stanford University\/SRI, 1980"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"SE-1","author":"B. Randell","year":"1975","unstructured":"Randell, B.: System structure for software fault tolerance. IEEE Trans. Software Engrg. SE-1, 220?232 (1975)","journal-title":"IEEE Trans. Software Engrg."},{"key":"CR18","series-title":"Lecture Notes in Computer Science, Vol. 60","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/3-540-08755-9_8","volume-title":"Operating systems","author":"B. Randell","year":"1978","unstructured":"Randell, B., Lee, P.A., Treleaven, P.C.: Reliable computing systems. In: Operating systems. Lecture Notes in Computer Science, Vol. 60, pp. 282?391. Berlin Heidelberg New York: Springer 1978"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/320128.320129","volume":"5","author":"J.B. Rothine","year":"1980","unstructured":"Rothine, J.B., Bernstein, P.A., Fox, S., Goodman, N., Hammer, M., Landers, T.A., Reeve, C., Shipman, D.W., Wong, E.: Introduction to a system for distributed databases (SDD-1). ACM Transactions on Database Systems 5, 1?17 (1980)","journal-title":"ACM Transactions on Database Systems"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/322169.322176","volume":"27","author":"A. Silberschatz","year":"1980","unstructured":"Silberschatz, A., Kedem, Z.: Consistency in a hierarchical database system. JACM, 27, 72?80 (1980)","journal-title":"JACM"},{"key":"CR21","unstructured":"Wood, W.G.: Recovery control of communicating process in a distributed system. TR\/158, Computing Laboratory, University of Newcastle upon Tyne, November 1980"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289593.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00289593\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T08:10:46Z","timestamp":1585901446000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00289593"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1981]]}},"alternative-id":["BF00289593"],"URL":"https:\/\/doi.org\/10.1007\/bf00289593","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981]]}}}