{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:31:12Z","timestamp":1754487072270},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1993,12,1]],"date-time":"1993-12-01T00:00:00Z","timestamp":754704000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[1993,12]]},"DOI":"10.1007\/bf01384075","type":"journal-article","created":{"date-parts":[[2005,4,2]],"date-time":"2005-04-02T04:20:31Z","timestamp":1112415631000},"page":"233-257","source":"Crossref","is-referenced-by-count":10,"title":["Newtonian arbiters cannot be proven correct"],"prefix":"10.1007","volume":"3","author":[{"given":"Michael","family":"Mendler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Terry","family":"Stroup","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"CR1","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1109\/T-C.1973.223730","volume":"22","author":"T.J. Chaney","year":"1973","unstructured":"T.J. Chaney and C.E. Molnar. Anomalous behavior of synchronizer and arbiter ciruits.IEEE transactions on Computer, C-22(3):421?422, March 1973.","journal-title":"IEEE transactions on Computer, C"},{"key":"CR2","first-page":"168","volume":"9","author":"D. Mayne","year":"1974","unstructured":"D. Mayne. Minimize computer ?crashes?.Electronic Design, 9:168?172, April 1974.","journal-title":"Electronic Design"},{"issue":"6","key":"CR3","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1109\/T-C.1975.224273","volume":"24","author":"G.R. Couranz","year":"1975","unstructured":"G.R. Couranz and D.F. Wann. Theoretical and experimental behavior of synchronizers operating in the metastable region.IEEE Transactions on Computers, C-24(6):604?616, June 1975.","journal-title":"IEEE Transactions on Computers, C"},{"key":"CR4","unstructured":"M. Hurtado and D.L. Elliott. Ambiguous behavior of logic bistable systems. InProceedings of the 13th Annual Allerton Conference on Circuit & Systems Theory, pp. 605?611, Urbana-Champaign, IL, October 1?3, 1975."},{"key":"CR5","volume-title":"Hazards in asynchronous sequential circuits due to unrestricted input changes","author":"M.K. Vosbury","year":"1975","unstructured":"M.K. Vosbury and D.N. Arden. Hazards in asynchronous sequential circuits due to unrestricted input changes. Unpublished, State University of New York, 1400 Washington Ave., Albany, New York 12222, 1975."},{"issue":"11","key":"CR6","doi-asserted-by":"crossref","first-page":"1082","DOI":"10.1109\/TC.1977.1674754","volume":"26","author":"L.R. Marino","year":"1977","unstructured":"L.R. Marino. The effect of asynchronous inputs on sequential network reliability.IEEE Transactions on Computers, 26(11):1082?1090, November 1977.","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"CR7","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1109\/TC.1979.1675337","volume":"28","author":"W. Fleischhammer","year":"1979","unstructured":"W. Fleischhammer and O. D\u00f6rtok. The anomalous behavior of flip-flops in synchronizer circuits.IEEE Transactions on Computers, C-28(3):273?276, March 1979.","journal-title":"IEEE Transactions on Computers, C-"},{"issue":"12","key":"CR8","doi-asserted-by":"crossref","first-page":"1207","DOI":"10.1109\/TC.1983.1676187","volume":"32","author":"T.J. Chaney","year":"1983","unstructured":"T.J. Chaney. Measured flip-flop responses to marginal triggering.IEEE Transactions on Computers, C-32(12):1207?1209, December 1983.","journal-title":"IEEE Transactions on Computers, C-"},{"issue":"2","key":"CR9","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/TC.1981.6312173","volume":"30","author":"L.R. Marino","year":"1981","unstructured":"L.R. Marino. General theory of metastable operation.IEEE Transactions on Computers, 30(2):107?115, February 1981.","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1109\/TC.1987.5009455","volume":"36","author":"L. Kleeman","year":"1987","unstructured":"L. Kleeman and A. Cantoni. On the unavoidability of metastable behavior in digital systems.IEEE Transactions on Computers, 36(1):109?112, January 1987.","journal-title":"IEEE Transactions on Computers"},{"key":"CR11","unstructured":"H.J. Stucki and J.R. Cox, Jr. Synchronization strategies. InProceedings of the Caltech Conference on VLSI, pp. 375?393, Pasadena, CAL, January 22?24, 1979."},{"key":"CR12","unstructured":"T.J. Chaney and F.U. Rosenberger. Characterization and scaling of MOS flip-flop performance in synchronizer applications. InProceedings of the Caltech Conference on Very Large Scale Integration, pp. 357?374, Pasadena, CAL, January 1979. Caltech Computer Science Department."},{"issue":"7","key":"CR13","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1109\/TC.1983.1676292","volume":"32","author":"J.C. Barros","year":"1983","unstructured":"J.C. Barros and B.W. Johnson. Equivalence of the arbiter, the synchronizer, the latch and the inertial delay.IEEE Transactions on Computers, C-32(7):603?614, July 1983.","journal-title":"IEEE Transactions on Computers, C-"},{"issue":"1","key":"CR14","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/TC.1986.1676660","volume":"35","author":"J. Calvo","year":"1986","unstructured":"J. Calvo, J.I. Acha, and M. Valencia. Asynchronous modular arbiter.IEEE Transactions on Computers, C-35(1):67?70, January 1986.","journal-title":"IEEE Transactions on Computers, C-"},{"key":"CR15","first-page":"107","volume":"14","author":"N. Siddique","year":"1988","unstructured":"N. Siddique and C. Dike. Metastable-free arbitrator coordinates processors.Electronic Design, 14:107?112, April 1988.","journal-title":"Electronic Design"},{"issue":"2","key":"CR16","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/TC.1976.5009227","volume":"25","author":"M. P\u00eachou?ek","year":"1976","unstructured":"M. P\u00eachou?ek. Anomalous response times of input synchronizers.IEEE Transactions on Computers, 25(2):133?139, February 1976.","journal-title":"IEEE Transactions on Computers"},{"key":"CR17","unstructured":"Daniel M. Chapiro.Globally-Asynchronous Locally-Synchronous Systems. Ph.D. thesis, Stanford University, Report No. STAN-CS-84-1026, October 1984."},{"issue":"9","key":"CR18","doi-asserted-by":"crossref","first-page":"931","DOI":"10.1109\/T-C.1975.224339","volume":"24","author":"R.C. Pearce","year":"1975","unstructured":"R.C. Pearce, J.A. Field and W.D. Little. Asynchronous arbiter module.IEEE Transactions on Computers, 24(9):931?932, September 1975.","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"CR19","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/T-C.1972.223429","volume":"21","author":"W.W. Plummer","year":"1972","unstructured":"W.W. Plummer. Asynchronous arbiters.IEEE Transactions on Computers, 21(1):37?42, January 1972.","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"CR20","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TC.1982.1675978","volume":"31","author":"Gregor Bochmann von","year":"1982","unstructured":"Gregor von Bochmann. Hardware specification with temporal logic; an example.IEEE Transactions on Computers, C-31(3):223?231, March 1982.","journal-title":"IEEE Transactions on Computers, C-"},{"key":"CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-62006-5","volume-title":"Stability Theory of Dynamical Systems","author":"N.P. Bhatia","year":"1970","unstructured":"N.P. Bhatia and G.P. Szeg\u00f6.Stability Theory of Dynamical Systems, volume 161 ofGrundlehren der mathematischen Wissenschaften. Springer, Berlin, 1970."},{"issue":"12","key":"CR22","doi-asserted-by":"crossref","first-page":"1437","DOI":"10.1109\/T-C.1971.223155","volume":"20","author":"S.H. Unger","year":"1971","unstructured":"S.H. Unger. Asynchronous sequential switching circuits with unrestricted input changes.IEEE Transactions on Computers, 20(12):1437?1444, December 1971.","journal-title":"IEEE Transactions on Computers"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"B.I. Strom. Proof of the equivalent realization of a time-bounded arbiter and a runt-free inertial delay. InProceedings of the 6th Annual IEEE Symposium on Computer Architecture, pp. 179?181, New York, 1979. IEEE.","DOI":"10.1145\/800090.802907"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"961","DOI":"10.1049\/piee.1976.0212","volume":"123","author":"D.J. Kinniment","year":"1976","unstructured":"D.J. Kinniment and J.V. Woods. Synchronization and arbitration circuits in digital systems.Proceedings of the Institute of Electrical Engineering, 123:961?966, October 1976.","journal-title":"Proceedings of the Institute of Electrical Engineering"},{"key":"CR25","volume-title":"Principles of Computer Design","author":"L.R. Marino","year":"1986","unstructured":"L.R. Marino.Principles of Computer Design. Computer Science Press, Rockwell, 1986."},{"key":"CR26","volume-title":"Introduction to VLSI Systems","author":"C. Mead","year":"1980","unstructured":"C. Mead and L. Conway.Introduction to VLSI Systems, 2nd ed. Addison Wesley, Reading, MA, 1980.","edition":"2nd ed."},{"key":"CR27","volume-title":"The Behavior of Simple Arbiters and Synchronizers Based on the RS-Latch","author":"Oleg V. Mayevsky","year":"1986","unstructured":"Oleg V. Mayevsky.The Behavior of Simple Arbiters and Synchronizers Based on the RS-Latch. Ph. D. thesis, Leningrad Electrical Engineering Institute, Leningrad, 1986. (in Russian)."},{"key":"CR28","unstructured":"Oleg V. Mayevsky. Anomalous behavior of a R-S-flip-flop. Extended abstract, personal communication, 1993."},{"issue":"12","key":"CR29","doi-asserted-by":"crossref","first-page":"1277","DOI":"10.1109\/TC.1977.1674789","volume":"26","author":"G. Elineau","year":"1977","unstructured":"G. Elineau and W. Wiesbeck. A new J-K flip-flop for synchronizers.IEEE Transactions on Computers, C-26(12):1277?1279, December 1977.","journal-title":"IEEE Transactions on Computers, C-"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01384075.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01384075\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01384075","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T16:26:49Z","timestamp":1586190409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01384075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,12]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1993,12]]}},"alternative-id":["BF01384075"],"URL":"https:\/\/doi.org\/10.1007\/bf01384075","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,12]]}}}