{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:09Z","timestamp":1725663129314},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100010"},{"type":"electronic","value":"9783540393221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10001-6_25","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:58:20Z","timestamp":1330189100000},"page":"225-250","source":"Crossref","is-referenced-by-count":3,"title":["Atomicity of activities"],"prefix":"10.1007","author":[{"given":"E.","family":"Best","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"5_CR1","unstructured":"Best, E. and Randell, B.: A Formal of Atomicity in Asynchronous Systems. TR\/130, Computing Laboratory, University of Newcastle upon Tyne, December 1978 (submitted for publication)."},{"key":"5_CR2","unstructured":"Best, E.: The Relative Strength of K-Density. In this volume."},{"key":"5_CR3","unstructured":"Best, E.: Notes on Predicate Transformers and Concurrent Programs. TR\/145, Computing Laboratory, University of Newcastle upon Tyne, to appear in January 1980."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Chang, E. and Roberts, R.: An Improved Algorithm for Decentralised Extrema-Finding in Circular Configurations of Processes. CACM 22\/5, May 1979, pp. 281\u2013283.","DOI":"10.1145\/359104.359108"},{"key":"5_CR5","unstructured":"DeMillo, R., Lipton, R. and Perlis, A.: Social Processes and the Verification of Computer Programs. CACM 22\/5, May 1979."},{"key":"5_CR6","volume-title":"Programming Languages","author":"E. W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Co-operating Sequential Processes. In: Programming Languages (ed. F. Genuys), Academic Press, London and New York, 1968."},{"key":"5_CR7","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, 1976."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Finding the Correctness Proof of a Concurrent Program. Proc. of the Koninklijke Nederlandse Akademie van Wetenschappen, Amsterdam, Series A, Volume 81(2), June 1978.","DOI":"10.1016\/S1385-7258(78)80011-0"},{"issue":"11","key":"5_CR9","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. and Steffens, E.F.M.: On-the-Fly Garbage Collection: An Exercise in Co-operation. CACM 21\/11, November 1978, pp. 966\u2013975.","journal-title":"CACM"},{"issue":"11","key":"5_CR10","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. and Traiger, I.: On the Notions of Consistency and Predicate Locks. CACM 19\/11, November 1976, pp. 624\u2013633.","journal-title":"CACM"},{"key":"5_CR11","unstructured":"Genrich, H.J. and Stankiewicz-Wiechno, E.: A Dictionary of Some Basic Notions of Net Theory. In this volume."},{"issue":"8","key":"5_CR12","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. CACM 21\/8, August 1978, pp. 666\u2013677.","journal-title":"CACM"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Lomet, D.: Process Structuring, Synchronisation and Recovery Using Atomic Actions. Proc. of the ACM Conference on Language Design for Reliable Software, Sigplan Notices 12\/3, March 1977, pp. 128\u2013137.","DOI":"10.1145\/390017.808319"},{"key":"5_CR14","unstructured":"Merlin, P. and Randell, B.: Consistent State Restoration in Distributed Systems. TR\/113, Computing Laboratory, University of Newcastle upon Tyne, September 1977 (submitted for publication)."},{"key":"5_CR15","unstructured":"Merlin, P. and Randell, B.: State Restoration in Distributed Systems. In: FTCS-8, IEEE Toulouse, June 1978, pp. 129\u2013134."},{"key":"5_CR16","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"2","author":"B. Randell","year":"1975","unstructured":"Randell, B.: System Structure for Software Fault Tolerance. IEEE Transactions on Software Engineering, SE-1, 2, June 1975, pp. 220\u2013232.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Randell, B., Lee, P.A. and Treleaven, P.C.: Reliable Computing Systems. In: Lecture Notes in Computer Science, Vol. 60, Springer Verlag Berlin 1978.","DOI":"10.1007\/3-540-08755-9_8"},{"key":"5_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264015","volume":"12","author":"A. Lamsweerde Van","year":"1979","unstructured":"Van Lamsweerde, A. and Sintzoff, M.: Formal Derivation of Strongly Correct Concurrent Programs. Acta Information 12, 1979, pp. 1\u201331.","journal-title":"Acta Information"}],"container-title":["Lecture Notes in Computer Science","Net Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10001-6_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:11Z","timestamp":1605643331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10001-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100010","9783540393221"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-10001-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}