{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:14Z","timestamp":1725663254241},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156703"},{"type":"electronic","value":"9783540395935"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15670-4_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:23:55Z","timestamp":1330194235000},"page":"96-110","source":"Crossref","is-referenced-by-count":0,"title":["Axioms for memory access in asynchronous hardware systems"],"prefix":"10.1007","author":[{"given":"J.","family":"Misra","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Chaney, T. and Molnar, C., \u201cAnomalous Behavior of Synchronizer and Arbiter Circuits,\u201d IEEE Trans. on Computers, April 73, pp. 421\u2013422.","DOI":"10.1109\/T-C.1973.223730"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Lamport, L., \u201cConcurrent Reading and Writing,\u201d CACM, Vol. 20, No. 11 (November 77), pp. 806\u2013811.","DOI":"10.1145\/359863.359878"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Lamport, L., \u201cA New Approach to Proving the Correctness of Multiprocess Program,\u201d ACM TOPLAS, Vol. 1, No. 1, July 79.","DOI":"10.1145\/357062.357068"},{"key":"5_CR4","unstructured":"Lamport, L., \u201cA Theorem on Multiprocess Algorithms,\u201d Technical Report CA-7503-2011, Massachusetts Computer Associates, March 1975."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Marino, L.P., \u201cGeneral Theory of Metastable Operation,\u201d IEEE Trans. on Computers, Vol. C-30, No.2, February 81.","DOI":"10.1109\/TC.1981.6312173"},{"key":"5_CR6","unstructured":"Mills, H.D. and Lounsbery, J.M., \u201cCombinatorial Analyses of Process Synchronization,\u201d IBM, FSD (internal memo), August 1983."},{"issue":"4","key":"5_CR7","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki, S. and Gries, D., \u201cAn Axiomatic Proof Technique for Parallel Programs,\u201d Acta Informatica 6, 4 (1976), pp. 319\u2013340.","journal-title":"Acta Informatica"},{"key":"5_CR8","unstructured":"Saunders, J.M., \u201cEngineering Description of a Flip Flop Reader and Writer,\u201d IBM, FSD (internal memo), January 1984."},{"key":"5_CR9","unstructured":"Ullman, Jeffrey D., Principles of Database Systems, Computer Science Press, 1980."},{"issue":"3","key":"5_CR10","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1109\/TC.1983.1676220","volume":"C-32","author":"D. Wann","year":"1983","unstructured":"Wann, D. and Franklin, M., \u201cAsynchronous and Clocked Control Structures for VLSI Based Interconnection Networks,\u201d IEEE Trans. on Computer, Vol. C-32, No. 3, March 1983, pp. 264\u2013293.","journal-title":"IEEE Trans. on Computer"}],"container-title":["Lecture Notes in Computer Science","Seminar on Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15670-4_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:46Z","timestamp":1605643726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}