{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:19:09Z","timestamp":1773656349458,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540334606","type":"print"},{"value":"9783540334613","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/978-3-540-33461-3_2","type":"book-chapter","created":{"date-parts":[[2006,10,19]],"date-time":"2006-10-19T13:37:55Z","timestamp":1161265075000},"page":"11-42","source":"Crossref","is-referenced-by-count":4,"title":["Janusz Brzozowski"],"prefix":"10.1007","member":"297","reference":[{"key":"2_CR1_2","doi-asserted-by":"crossref","unstructured":"J.A. Bondy and U.S.R. Murty. Graph Theory with Applications, American El- sevier, 1976","DOI":"10.1007\/978-1-349-03521-2"},{"key":"2_CR2_2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(99)00273-X","volume":"245","author":"J.A. Brzozowski","year":"2000","unstructured":"J.A. Brzozowski. Delay-Insensitivity and Ternary Simulation, Theoretical Computer Science, 245 (2000) 3-25.","journal-title":"Theoretical Computer Science"},{"key":"2_CR3_2","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/3-540-51498-8_8","volume-title":"Proc. Fundamentals of Computation Theory","author":"J.A. Brzozowski","year":"1989","unstructured":"J.A. Brzozowski and J.C. Ebergen. Recent Developments in the Design of Asynchronous Circuits, Proc. Fundamentals of Computation Theory, (J. Csirik, J. Demetrovics and F. G\u00e9cseg, eds.), Springer-Verlag, Berlin, 1989, 78-94."},{"issue":"11","key":"2_CR4_2","doi-asserted-by":"publisher","first-page":"1349","DOI":"10.1109\/12.177306","volume":"41","author":"J.A. Brzozowski","year":"1992","unstructured":"J.A. Brzozowski and J.C. Ebergen. On the Delay-Sensitivity of Gate Networks, IEEE Trans. on Computers, 41, 11 (1992), 1349-1360.","journal-title":"IEEE Trans. on Computers"},{"issue":"3","key":"2_CR5_2","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1023\/A:1026218512171","volume":"23","author":"J.A. Brzozowski","year":"2003","unstructured":"J.A. Brzozowski and Z. Esik. Hazard Algebras, Formal Methods in System Design, 23, 3 (2003), 223-256.","journal-title":"Formal Methods in System Design"},{"key":"2_CR6_2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-7908-1769-0_1","volume-title":"Algebras for Hazard Detection, Beyond Two - Theory and Applications of Multiple-Valued Logic","author":"J.A. Brzozowski","year":"2003","unstructured":"J.A. Brzozowski, Z. \u00c9sik and Y. Iland. Algebras for Hazard Detection, Beyond Two - Theory and Applications of Multiple-Valued Logic , (M. Fitting, and E. Orlowska, eds.), Physica-Verlag, Heidelberg, 2003, 3-24."},{"key":"2_CR7_2","doi-asserted-by":"crossref","unstructured":"J.A. Brzozowski and M. Gheorghiu. Gate Circuits in the Algebra of Transients, Theoretical Informatics and Applications, to appear.","DOI":"10.1051\/ita:2005004"},{"key":"2_CR8_2","unstructured":"J.A. Brzozowski, S. Hauck and C-J. Seger, Design of Asynchronous Circuits, Chapter 15 in [10]"},{"issue":"11","key":"2_CR9_2","doi-asserted-by":"publisher","first-page":"1318","DOI":"10.1109\/TC.1987.5009471","volume":"C-36","author":"J.A. Brzozowski","year":"1987","unstructured":"J.A. Brzozowski and C-J. Seger. A Characterization of Ternary Simulation of Gate Networks, IEEE Trans. Computers, C-36, 11 (1987), 1318-1327.","journal-title":"IEEE Trans. Computers"},{"key":"2_CR10_2","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, Berlin, 1995."},{"key":"2_CR11_2","unstructured":"J.A. Brzozowski and M. Yoeli. Digital Networks, Prentice-Hall, 1976"},{"issue":"3","key":"2_CR12_2","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TC.1979.1675317","volume":"C-28,","author":"J.A. Brzozowski","year":"1979","unstructured":"J.A. Brzozowski and M. Yoeli. On a Ternary Model of Gate Networks, IEEE Trans. on Computers, C-28, 3 (1979), 178-183.","journal-title":"IEEE Trans. on Computers"},{"issue":"2","key":"2_CR13_2","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1023\/A:1008795229459","volume":"16","author":"J.A. Brzozowski","year":"2000","unstructured":"J.A. Brzozowski and H. Zhang. Delay-Insensitivity and Semi-Modularity, Formal Methods in System Design, 16, 2 (2000), 187-214.","journal-title":"Formal Methods in System Design"},{"issue":"4","key":"2_CR14_2","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1109\/T-C.1973.223730","volume":"C-22","author":"T.J. Chaney","year":"1973","unstructured":"T.J. Chaney and C.E. Molnar. Anomalous Behavior of Synchronizer and Arbiter Circuits, IEEE Trans. on Computers, C-22, 4 (1973), 421-422.","journal-title":"IEEE Trans. on Computers"},{"key":"2_CR15_2","first-page":"1989","volume-title":"PhD Thesis, Computer Science Department, Carnegie Mellon University","author":"D.L. Dill","year":"1988","unstructured":"D.L. Dill. Trace Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits, PhD Thesis, Computer Science Department, Carnegie Mellon University, February 1988. Also, The MIT Press, Cambridge, MA, 1989."},{"key":"2_CR16_2","first-page":"1989","volume-title":"PhD Thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands","author":"J.C. Ebergen","year":"1987","unstructured":"J.C. Ebergen. Translating Programs into Delay-Insensitive Circuits, PhD Thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands, October 1987. Also, CWI Tract 56, Centre for Math. and Computer Science, Amsterdam, The Netherlands, 1989."},{"issue":"3","key":"2_CR17_2","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF02252954","volume":"5","author":"J.C. Ebergen","year":"1991","unstructured":"J.C. Ebergen. A Formal Approach to Designing Delay-Insensitive Circuits, Dis- tributed Computing, 5, 3 (1991), 107-119.","journal-title":"Dis- tributed Computing"},{"key":"2_CR18_2","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1147\/rd.92.0090","volume":"9","author":"E.B. Eichelberger","year":"1965","unstructured":"E.B. Eichelberger. Hazard Detection in Combinational and Sequential Switching Circuits, IBM J. Res. and Dev., 9 (1965), 90-99.","journal-title":"IBM J. Res. and Dev."},{"key":"2_CR19_2","unstructured":"M. Gheorghiu. Circuit Simulation Using a Hazard Algebra , MMath Thesis, Dept. of Computer Science, University of Waterloo, Waterloo, ON, Canada, 2001. http:\/\/maveric.uwaterloo.ca\/publication.html"},{"issue":"6","key":"2_CR20_2","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1142\/S0129054103002163","volume":"14","author":"M. Gheorghiu","year":"2003","unstructured":"M. Gheorghiu and J.A. Brzozowski. Simulation of Feedback-Free Circuits in the Algebra of Transients, Int. J. Foundations of Computer Science , 14, 6 (2003), 1033-1054.","journal-title":"Int. J. Foundations of Computer Science"},{"key":"2_CR21_2","first-page":"459","volume-title":"A Theory of Synchrony and Asynchrony, Programming Concepts and Methods","author":"J. He","year":"1990","unstructured":"J. He, M.B. Josephs and C.A.R. Hoare. A Theory of Synchrony and Asynchrony, Programming Concepts and Methods, (M. Broy and C.B. Jones, eds.), NorthHolland, Amsterdam, 1990, 459-478."},{"key":"2_CR22_2","first-page":"147","volume-title":"An Algebra for Delay-Insensitive Circuits, Computer-Aided Verification","author":"M.B. Josephs","year":"1990","unstructured":"M.B. Josephs and J.T. Udding. An Algebra for Delay-Insensitive Circuits, Computer-Aided Verification, (E.M. Clarke and R.P. Kurshan, eds.), AMSACM, Providence, RI, 1990, 147-175."},{"key":"2_CR23_2","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes, Prentice-Hall, Inc., Engle- wood Cliffs, NJ, 1985."},{"key":"2_CR24_2","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/320856.320866","volume":"4","author":"D.A. Huffman","year":"1957","unstructured":"D.A. Huffman. The Design and Use of Hazard-Free Switching Circuits, J. ACM, 4 (1957),47-62.","journal-title":"J. ACM"},{"key":"2_CR25_2","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BF01660034","volume":"1","author":"A.J. Martin","year":"1986","unstructured":"A.J. Martin. Compiling Communicating Processes into Delay-Insensitive VLSI Circuits, Distributed Computing, 1 (1986), 226-234.","journal-title":"Distributed Computing"},{"key":"2_CR26_2","first-page":"9","volume-title":"Transient Behavior of Combinational Logic Circuits, Redundancy Techniques for Computing Systems","author":"E.J. McCluskey","year":"1962","unstructured":"E.J. McCluskey. Transient Behavior of Combinational Logic Circuits, Redundancy Techniques for Computing Systems, (R.H. Wilcox and W.C. Mann, eds.), Spartan Books, Washington, DC, 1962, 9-46."},{"key":"2_CR27_2","volume-title":"Introduction to VLSI Systems","author":"C. Mead","year":"1980","unstructured":"C. Mead and L. Conway. Introduction to VLSI Systems, Addison-Wesley, Read- ing, MA, 1980"},{"key":"2_CR28_2","volume-title":"Switching Theory, Volume II: Sequential Circuits and Machines","author":"R.E. Miller","year":"1965","unstructured":"R.E. Miller. Switching Theory, Volume II: Sequential Circuits and Machines, Wiley, New York, 1965."},{"key":"2_CR29_2","first-page":"67","volume-title":"Synthesis of Delay-Insensitive Modules, Proc. 1985 Chapel Hill Conference on VLSI","author":"C.E. Molnar","year":"1985","unstructured":"C.E. Molnar, T.P. Fang and F.U. Rosenberger. Synthesis of Delay-Insensitive Modules, Proc. 1985 Chapel Hill Conference on VLSI, (H. Fuchs, ed.), Computer Science Press, Rockville, Maryland, 1985, 67-86."},{"key":"2_CR30_2","unstructured":"M. Mukaidono. Regular Ternary Logic Functions\u2014Ternary Logic Functions Suitable for Treating Ambiguity, Proc. 13th Ann. Symp. on Multiple-Valued Logic, 1983, 286-291."},{"key":"2_CR31_2","volume-title":"A Theory of Asynchronous Circuits, Tech. Report 66, Digital Computer Laboratory","author":"D.E. Muller","year":"1955","unstructured":"D.E. Muller. A Theory of Asynchronous Circuits, Tech. Report 66, Digital Computer Laboratory, University of Illinois, Urbana-Champaign, Illinois, USA, 1955."},{"key":"2_CR32_2","unstructured":"D.E. Muller and W.S. Bartky. A Theory of Asynchronous Circuits, Proc. Int. Symp. on the Theory of Switching, Annals of the Computation Laboratory of Harvard University, Harvard University Press, 1959, 204-243."},{"key":"2_CR33_2","volume-title":"Process Spaces and Formal Verification of Asynchronous Circuits","author":"R. Negulescu","year":"1998","unstructured":"R. Negulescu. Process Spaces and Formal Verification of Asynchronous Circuits, PhD Thesis, Dept. of Computer Science, University of Waterloo, Waterloo, ON, Canada, 1998."},{"key":"2_CR34_2","volume-title":"A Formalisation of the Foam Rubber Wrapper Principle","author":"H. Schols","year":"1985","unstructured":"H. Schols. A Formalisation of the Foam Rubber Wrapper Principle, Master\u2019s Thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands, February 1985."},{"key":"2_CR35_2","volume-title":"Ternary Simulation of Asynchronous Gate Networks","author":"C-J.H. Seger","year":"1986","unstructured":"C-J.H. Seger. Ternary Simulation of Asynchronous Gate Networks, MMath Thesis, Dept. of Comp. Science, University of Waterloo, Waterloo, ON, Canada, 1986."},{"key":"2_CR36_2","volume-title":"Models and Algorithms for Race Analysis in Asynchronous Cir- cuits","author":"C-J.H. Seger","year":"1988","unstructured":"C-J.H. Seger. Models and Algorithms for Race Analysis in Asynchronous Cir- cuits, PhD Thesis, Dept. of Comp. Science, University of Waterloo, Waterloo, ON, Canada, 1988."},{"issue":"2","key":"2_CR37_2","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0304-3975(91)90024-V","volume":"86","author":"C-J.H. Seger","year":"1991","unstructured":"C-J.H. Seger. On the Existence of Speed-Independent Circuits, Theoretical Com- puter Science, 86, 2 (1991), 343-364.","journal-title":"Theoretical Com- puter Science"},{"key":"2_CR38_2","first-page":"713","volume":"57","author":"C.E. Shannon","year":"1938","unstructured":"C.E. Shannon. A Symbolic Analysis of Relay and Switching Circuits, Trans. AIEE, 57 (1938), 713-723.","journal-title":"Trans. AIEE"},{"key":"2_CR39_2","volume-title":"True Concurrency in Models of Asynchronous Circuit Behaviors","author":"S. Silver","year":"1998","unstructured":"S. Silver. True Concurrency in Models of Asynchronous Circuit Behaviors, MMath Thesis, Dept. of Computer Science, University of Waterloo, Waterloo, ON, Canada, 1998."},{"issue":"3","key":"2_CR40_2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1023\/A:1022902408130","volume":"22","author":"S. Silver","year":"2003","unstructured":"S. Silver and J.A. Brzozowski. True Concurrency in Models of Asynchronous Circuit Behavior, Formal Methods in System Design, 22, 3 (2003), 183\u2014203.","journal-title":"Formal Methods in System Design"},{"key":"2_CR41_2","doi-asserted-by":"crossref","unstructured":"I.E. Sutherland and J. Ebergen. Computers without Clocks, Scientific American, August 2002, 62-69.","DOI":"10.1038\/scientificamerican0802-62"},{"key":"2_CR42_2","volume-title":"Classification and Composition of Delay-Insensitive Circuits","author":"J.T. Udding","year":"1984","unstructured":"J.T. Udding. Classification and Composition of Delay-Insensitive Circuits, PhD Thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands, September 1984."},{"issue":"4","key":"2_CR43_2","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF01660032","volume":"1","author":"J.T. Udding","year":"1986","unstructured":"J.T. Udding. A Formal Model for Defining and Classifying Delay-Insensitive Circuits and Systems, Distributed Computing, 1, 4 (1986), 197-204.","journal-title":"Distributed Computing"},{"key":"2_CR44_2","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/TCT.1959.1086527","volume":"CT-6","author":"S.H. Unger","year":"1959","unstructured":"S.H. Unger. Hazards and Delays in Asynchronous Sequential Switching Circuits, IRE Trans. on Circuit Theory, CT-6 (1959), 12-25.","journal-title":"IRE Trans. on Circuit Theory"},{"key":"2_CR45_2","volume-title":"Asynchronous Sequential Switching Circuits","author":"S.H. Unger","year":"1969","unstructured":"S.H. Unger. Asynchronous Sequential Switching Circuits, Wiley-Interscience, New York, 1969."},{"key":"2_CR46_2","volume-title":"Handshake Circuits","author":"K. van Berkel","year":"1993","unstructured":"K. van Berkel. Handshake Circuits, Cambridge University Press, Cambridge, England, 1993."},{"key":"2_CR47_2","volume-title":"Trace Theory and VLSI Design","author":"J.L.A. van de Snepscheut","year":"1983","unstructured":"J.L.A. van de Snepscheut. Trace Theory and VLSI Design, PhD Thesis, Department of Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands, May 1983. Also, Lecture Notes in Computer Science, vol. 200, Springer-Verlag, Berlin, 1985"},{"key":"2_CR48_2","volume-title":"A Theory of Delay-Insensitive Systems","author":"T. Verhoeff","year":"1994","unstructured":"T. Verhoeff. A Theory of Delay-Insensitive Systems, PhD Thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands, May 1994."},{"key":"2_CR49_2","volume-title":"Delay-Insensitive Networks","author":"H. Zhang","year":"1997","unstructured":"H. Zhang. Delay-Insensitive Networks, MMath Thesis, Dept. of Computer Science, University of Waterloo, Waterloo, ON, Canada, 1997."}],"container-title":["Studies in Computational Intelligence","Recent Advances in Formal Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-33461-3_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:37:43Z","timestamp":1605760663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-33461-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540334606","9783540334613"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-33461-3_2","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"value":"1860-949X","type":"print"},{"value":"1860-9503","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}