{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:16:52Z","timestamp":1755217012724,"version":"3.43.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2000,3,1]],"date-time":"2000-03-01T00:00:00Z","timestamp":951868800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,3,1]],"date-time":"2000-03-01T00:00:00Z","timestamp":951868800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[2000,3]]},"DOI":"10.1023\/a:1008795229459","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T11:37:32Z","timestamp":1040557052000},"page":"191-218","source":"Crossref","is-referenced-by-count":6,"title":["Delay-Insensitivity and Semi-Modularity"],"prefix":"10.1007","volume":"16","author":[{"given":"J.A.","family":"Brzozowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"254639_CR1","unstructured":"J.A. Brzozowski, \u201cDelay-insensitivity and ternary simulation,\u201d Theoretical Computer Science, to appear."},{"key":"254639_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4210-9","volume-title":"Asynchronous Circuits","author":"J.A. Brzozowski","year":"1995","unstructured":"J.A. Brzozowski and C.-J. Seger, Asynchronous Circuits, Springer-Verlag, New York, NY, 1995."},{"key":"254639_CR3","volume-title":"Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits","author":"D.L. Dill","year":"1988","unstructured":"D.L. Dill, Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits, The MIT Press, Cambridge, Massachusetts, 1988."},{"key":"254639_CR4","volume-title":"Translating programs into delay-insensitive circuits","author":"J.C. Ebergen","year":"1987","unstructured":"J.C. Ebergen, \u201cTranslating programs into delay-insensitive circuits,\u201d Ph.D. Thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands, October 1987. Also, CWI Tract 56, Center for Mathematics and Computer Science, Amsterdam, The Netherlands, 1989."},{"key":"254639_CR5","doi-asserted-by":"crossref","unstructured":"A.J. Martin, \u201cThe limitations to delay-insensitivity in asynchronous circuits,\u201d in W.J. Dally (Ed.), Proceedings of the 6th MIT Conference on Advanced Research in VLSI, MIT Press, 1990, pp. 263\u2013278.","DOI":"10.21236\/ADA447737"},{"key":"254639_CR6","volume-title":"Introduction to VLSI Systems","author":"C. Mead","year":"1980","unstructured":"C. Mead and L. Conway, Introduction to VLSI Systems, Addison-Wesley, Reading, MA, 1980."},{"key":"254639_CR7","unstructured":"R.E. Miller, \u201cSpeed-independent switching circuit theory,\u201d in Switching Theory, Volume II: Sequential Circuits and Machines, John Wiley & Sons, 1965, Ch. 10."},{"key":"254639_CR8","unstructured":"R. Milner, Communication and Concurrency, Prentice Hall, 1989."},{"key":"254639_CR9","first-page":"67","volume-title":"Proceedings of the 1985 Chapel Hill Conference on VLSI","author":"C.E. Molnar","year":"1985","unstructured":"C.E. Molnar, T.P. Fang, and F.U. Rosenbergef \u201cSynthesis of delay-insensitive modules,\u201d in H. Fuchs (Ed.), Proceedings of the 1985 Chapel Hill Conference on VLSI, Computer Science Press, Rockville, Maryland, 1985, pp. 67\u201386."},{"key":"254639_CR10","first-page":"129","volume-title":"Automata Studies, Annals of Mathematics Study 34","author":"E.F. Moore","year":"1956","unstructured":"E.F. Moore, \u201cGedanken experiments on sequential machines,\u201d in C.E. Shannon and J. McCarthy (Eds.), Automata Studies, Annals of Mathematics Study 34, Princeton University Press, Princeton NJ, 1956, pp. 129\u2013153."},{"key":"254639_CR11","series-title":"Technical Report","volume-title":"A theory of asynchronous circuits","author":"D.E. Muller","year":"1955","unstructured":"D.E. Muller, \u201cA theory of asynchronous circuits,\u201d Technical Report 66, Digital Computer Lab., University of Illinois, Urbana-Champaign, Illinois, USA, 1955."},{"key":"254639_CR12","unstructured":"D.E. Muller and W.C. Bartky, \u201cA theory of asynchronous circuits,\u201d in Annals of Computing Laboratory of Harvard University, 1959, pp. 204\u2013243."},{"key":"254639_CR13","unstructured":"C.L. Seitz, \u201cSystem timing,\u201d in [6], Ch. 7, pp. 218-262."},{"key":"254639_CR14","series-title":"Technical Report","volume-title":"Synthesis of modular networks from petri-net specifications","author":"N. Shintel","year":"1992","unstructured":"N. Shintel and M. Yoeli, \u201cSynthesis of modular networks from petri-net specifications,\u201d Technical Report #743, Israel Institute of Technology, Haifa 32000 Israel, 1992."},{"key":"254639_CR15","volume-title":"True concurrency in models of asynchronous circuit behavior","author":"S.J. Silver","year":"1998","unstructured":"S.J. Silver, \u201cTrue concurrency in models of asynchronous circuit behavior,\u201d MMATH Thesis, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada, December 1998."},{"key":"254639_CR16","series-title":"Maveric Research Report","volume-title":"Delay-insensitivity and true concurrency","author":"S.J. Silver","year":"1998","unstructured":"S.J. Silver and J.A. Brzozowski, \u201cDelay-insensitivity and true concurrency,\u201d Maveric Research Report, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1, http:\/\/maveric.uwaterloo.ca\/publication.html, December 1998."},{"key":"254639_CR17","volume-title":"Classification and composition of delay-insensitive circuits","author":"J.T. Udding","year":"1984","unstructured":"J.T. Udding, \u201cClassification and composition of delay-insensitive circuits,\u201d Doctoral Dissertation, Eindhoven University of Technology, Eindhoven, The Netherlands, 1984."},{"key":"254639_CR18","volume-title":"Atheory of delay-insensitive systems","author":"T. Verhoeff","year":"1994","unstructured":"T. Verhoeff, \u201cAtheory of delay-insensitive systems,\u201d Ph.D. Thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands, May 1994."},{"key":"254639_CR19","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF00122081","volume":"9","author":"A. Yakovlev","year":"1996","unstructured":"A. Yakovlev, L. Lavagno, and A. Sangiovanni-Vincentelli, \u201cA unified signal transition graph model for asynchronous control circuit synthesis,\u201d Formal Methods in System Design, Vol. 9, 1996, pp. 139\u2013188.","journal-title":"Formal Methods in System Design"},{"key":"254639_CR20","volume-title":"Delay-insensitive networks","author":"H. Zhang","year":"1997","unstructured":"H. Zhang, \u201cDelay-insensitive networks,\u201d MMATH Thesis, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada, June 1997."},{"key":"254639_CR21","series-title":"Technical Report","volume-title":"Strong delay-insensitivity and the JTU-rules","author":"H. Zhang","year":"1997","unstructured":"H. Zhang and J.A. Brzozowski, \u201cStrong delay-insensitivity and the JTU-rules,\u201d Technical Report, Maveric Research Group, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada, http:\/\/maveric.uwaterloo.ca\/publication.html, October 1997."}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008795229459.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008795229459\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008795229459.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:23:28Z","timestamp":1754367808000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008795229459"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,3]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000,3]]}},"alternative-id":["254639"],"URL":"https:\/\/doi.org\/10.1023\/a:1008795229459","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2000,3]]}}}