{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:28:09Z","timestamp":1754483289605},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403913"},{"type":"electronic","value":"9783540449775"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44977-9_5","type":"book-chapter","created":{"date-parts":[[2007,10,16]],"date-time":"2007-10-16T10:20:28Z","timestamp":1192530028000},"page":"57-66","source":"Crossref","is-referenced-by-count":3,"title":["Simulation of Gate Circuits in the Algebra of Transients"],"prefix":"10.1007","author":[{"given":"Janusz","family":"Brzozowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mihaela","family":"Gheorghiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"5_CR1","unstructured":"Brzozowski, J. A., \u00c9sik, Z.: Hazard algebras. Formal Methods in System Design, to appear."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Brzozowski, J. A., \u00c9sik, Z., Iland, Y.: Algebras for hazard detection. Proc. 31st Int. Symp. Multiple-Valued Logic, IEEE Comp. Soc. (2001) 3\u201312","DOI":"10.1109\/ISMVL.2001.924548"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Brzozowski, J. A., Seger, C.-J. H.: Asynchronous circuits. Springer-Verlag (1995)","DOI":"10.1007\/978-1-4612-4210-9"},{"key":"5_CR4","unstructured":"Coates, W. S., Lexau, J. K., Jones, I. W., Fairbanks, S. M., Sutherland, I. E.: A FIFO data switch design experiment. Proc. ASYNC\u2019 98, IEEE Comp. Soc. (1998) 4\u201316"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1147\/rd.92.0090","volume":"9","author":"E. B. Eichelberger","year":"1965","unstructured":"Eichelberger, E. B.: Hazard detection in combinational and sequential circuits. IBM J. Res. and Dev. 9 (1965) 90\u201399","journal-title":"IBM J. Res. and Dev"},{"key":"5_CR6","unstructured":"Garside, J. D., Furber, S. B., Chang, S.-H.: AMULET3 revealed. Proc. ASYNC\u2019 99, IEEE Comp. Soc. (1999) 51\u201359"},{"key":"5_CR7","unstructured":"Gheorghiu, M.: Circuit simulation using a hazard algebra. MMathThesis, School of Computer Science, University ofWaterloo,Waterloo, ON, Canada (2001)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Gheorghiu, M., Brzozowski, J. A.: Feedback-free circuits in the algebra of transients. Proc. CIAA 2002, this volume.","DOI":"10.1007\/3-540-44977-9_10"},{"key":"5_CR9","unstructured":"Kessels, J., Marston, P.: Designing asynchronous standby circuits for a low-power pager. Proc. ASYNC\u2019 97, IEEE Comp. Soc. (1997) 268\u2013278"},{"key":"5_CR10","unstructured":"Muller, D. E., Bartky, W. C.: A theory of asynchronous circuits. Proc. Int. Symp. on Theory of Switching, Annals of Comp. Lab., Harvard University 29 (1959) 204\u2013243"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44977-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T16:23:23Z","timestamp":1556900603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44977-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403913","9783540449775"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44977-9_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}