{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T13:04:10Z","timestamp":1787317450467,"version":"build-2736575974"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1986,12,1]],"date-time":"1986-12-01T00:00:00Z","timestamp":533779200000},"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":[[1986,12]]},"DOI":"10.1007\/bf01660033","type":"journal-article","created":{"date-parts":[[2005,5,8]],"date-time":"2005-05-08T12:48:04Z","timestamp":1115556484000},"page":"205-225","source":"Crossref","is-referenced-by-count":20,"title":["On the existence of delay-insensitive fair arbiters: Trace theory and its limitations"],"prefix":"10.1007","volume":"1","author":[{"given":"David L.","family":"Black","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Bochman GV (1982) Hardware specification with temporal logic: An example. IEEE Trans Comput C-31 (3)","DOI":"10.1109\/TC.1982.1675978"},{"issue":"4","key":"CR2","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1109\/T-C.1973.223730","volume":"22","author":"TJ Chaney","year":"1973","unstructured":"Chaney TJ, Molnar CE (1973) Anomalous behavior of synchronizer and arbiter circuits. IEEE Trans Comput C-22 (4):421\u2013422","journal-title":"IEEE Trans Comput C"},{"key":"CR3","unstructured":"Dill DL, Clarke EM (1985) Automatic verification of asynchronous circuits using temporal logic. In: 1985 Chapel Hill Conference on Very Large Scale Integration, pp 127\u2013144"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Gabbay D, Pneuli A, Shelah S, Stavi J (1980) On the temporal analysis of fairness. In: Symposium on Principles of Programming Languages, pp 163\u2013173","DOI":"10.1145\/567446.567462"},{"key":"CR5","series-title":"Lect Notes Comput Sci, Automata, Languages, and Programming","first-page":"265","volume-title":"Impartiality, justice and fairness: the ethics of concurrent termination","author":"D Lehman","year":"1981","unstructured":"Lehman D, Pneuli A, Stavi J (1981) Impartiality, justice and fairness: the ethics of concurrent termination. Lect Notes Comput Sci, Automata, Languages, and Programming. Springer, Berlin Heidelberg New York, pp 265\u2013277"},{"key":"CR6","series-title":"Technical Memorandum 5193:TR:85","volume-title":"A delay-insensitive fair arbiter","author":"AJ Martin","year":"1985","unstructured":"Martin AJ (1985) A delay-insensitive fair arbiter. Technical Memorandum 5193:TR:85, Computer Science Department, California Institute of Technology, Pasadena, CA (July)"},{"key":"CR7","unstructured":"Martin AJ (1985) The design of a self-timed circuit for distributed mutual exclusion. In: 1985 Chapel Hill Conference on Very Large Scale Integration, pp 245\u2013260"},{"key":"CR8","series-title":"Lecture Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating systems","author":"R Milner","year":"1980","unstructured":"Milner R (1980) A calculus of communicating systems. Lecture Notes Comput Sci, vol 92. Springer, Berlin Heidelberg New York"},{"key":"CR9","unstructured":"Molnar CE, Fang TP, Rosenberger FU (1985) Synthesis of Delay-Insensitive Modules. In: 1985 Chapel Hill Conference on Very Large Scale Integration, pp 67\u201386"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Muller DE (1967) The general synthesis problem for asynchronous digital networks. In: Conference Record of the Eight Annual Symposium on Switching and Automata Theory","DOI":"10.1109\/FOCS.1967.34"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Rem M et al. (1983) Trace theory and the definition of hierarchical components. In: 3rd Caltech Conference on VLSI, pp 225\u2013239","DOI":"10.1007\/978-3-642-95432-0_13"},{"key":"CR12","unstructured":"Schols H (1985) A formalisation of the foam rubber wrapper principle. Master's thesis, Eindhoven University of Technology"},{"key":"CR13","volume-title":"System timing, Introduction to VLSI systems, chap 7","author":"CL Seitz","year":"1980","unstructured":"Seitz CL (1980) System timing, Introduction to VLSI systems, chap 7. Addison-Wesley, Readling, Mass"},{"key":"CR14","unstructured":"Seitz CL (1980) Ideas about arbiters. LAMBDA, First Quarter"},{"key":"CR15","unstructured":"Seitz CL: Personal communication"},{"key":"CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0031414","volume-title":"Trace theory and VLSI design","author":"JLA Snepscheut van de","year":"1985","unstructured":"van de Snepscheut, JLA (1985) Trace theory and VLSI design. Lect Notes Comput Sci, vol 200. Springer, Berlin Heidelberg New York Tokyo"},{"key":"CR17","unstructured":"Sproull B, Sutherland I, Molnar C (1985) Seminar on selftimed systems. Course Notes. Carnegie-Mellon University, Spring 1985 (includes some unpublished work of Jo Ebergen)"},{"key":"CR18","unstructured":"Udding JT (1984) Classification and composition of delayinsensitive circuits. PhD thesis, Eindhoven University of Technology"},{"key":"CR19","series-title":"Technical Memorandum","volume-title":"On the non-existence of delay-insensitive fair arbiters","author":"JT Udding","year":"1985","unstructured":"Udding JT (1985) On the non-existence of delay-insensitive fair arbiters. Technical Memorandum 306, Computer Systems Laboratory, Washington University, St. Louis, MO, July"},{"key":"CR20","unstructured":"Verhoeff T, Schols H (1985) Delay-insensitive directed trace structures satisfy the foam rubber wrapper postulate. Computing Science Notes 85\/04, Department of Mathematics and Computing Science, Eindhoven University of Technology, August"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01660033.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01660033\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01660033","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T15:20:58Z","timestamp":1557242458000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01660033"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,12]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1986,12]]}},"alternative-id":["BF01660033"],"URL":"https:\/\/doi.org\/10.1007\/bf01660033","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,12]]}}}