Misra, J. Axioms for memory access in asynchronous hardware systems. (English) Zbl 0593.68017 ACM Trans. Program. Lang. Syst. 8, 142-153 (1986). Cited in 18 Documents MSC: 68N25 Theory of operating systems Keywords:concurrent accesses; asynchronous algorithms; low-level hardware components; VLSI PDF BibTeX XML Cite \textit{J. Misra}, ACM Trans. Program. Lang. Syst. 8, 142--153 (1986; Zbl 0593.68017) Full Text: DOI Link OpenURL