{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:33:56Z","timestamp":1725482036338},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646945"},{"type":"electronic","value":"9783540691044"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0031379","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T02:38:17Z","timestamp":1134268697000},"page":"29-45","source":"Crossref","is-referenced-by-count":0,"title":["Automata of asynchronous behaviors"],"prefix":"10.1007","author":[{"given":"J. A.","family":"Brzozowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Negulescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,29]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/BF01660033","volume":"1","author":"D. L. Black","year":"1986","unstructured":"Black, D. L.: On the existence of delay-insensitive fair arbiters: trace theory and its limitations. Distributed Computing 1 (1986) 205\u2013225","journal-title":"Distributed Computing"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Brace, K. S., Rudell, R. L., and Bryant, R. E. Efficient implementation of a BDD package. Proceedings of the 27th ACM\/IEEE Design Automation Conference (1990) 40\u201345","DOI":"10.1145\/123186.123222"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. E. Bryant","year":"1986","unstructured":"Bryant, R. E: Graph based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35 (1986) 677\u2013691","journal-title":"IEEE Transactions on Computers"},{"key":"4_CR4","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":"4_CR5","unstructured":"Brzozowski, J. A., Zhang, H.. Delay-Insensitivity and Semi-Modularity. Research Report CS-97-11 (1997) Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada"},{"key":"4_CR6","unstructured":"Eilenberg, S.: Automata, Languages, and Machines, vol. A. Academic Press, 1974"},{"key":"4_CR7","unstructured":"Mimer, R.: Communication and Concurrency. Prentice Hall, 1989"},{"key":"4_CR8","first-page":"129","volume":"34","author":"E. F. Moore","year":"1956","unstructured":"Moore E. F.: Gedanken Experiments on Sequential Machines. Automata Studies, Annals of Mathematics Studies 34 (1956) 129\u2013153","journal-title":"Automata Studies, Annals of Mathematics Studies"},{"key":"4_CR9","unstructured":"Negulescu., R.: Process Spaces. Research Report CS-95-48 (1995) Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada"},{"key":"4_CR10","unstructured":"Negulescu, R.: A Technique for Finding and Verifying Speed-Dependences in Gate Circuits. Research Report CS-97-28 (1997) Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada"},{"key":"4_CR11","unstructured":"Negulescu, R., Brzozowski, J. A.: Relative liveness: from intuition to automated verification. Formal Methods in System Design (to appear)"},{"key":"4_CR12","unstructured":"Udding, J. T.: Classification and Composition of Delay-Insensitive Circuits. PhD Thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 1984"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01660032","volume":"1","author":"J. T. Udding","year":"1986","unstructured":"Udding, J. T.: A formal model for defining and classifying delay-insensitive circuits and systems. Distributed Computing 1 (1986) 197\u2013204","journal-title":"Distributed Computing"},{"key":"4_CR14","unstructured":"Zhang, H.: Delay-Insensitive Networks. MMath Thesis, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada, 1997"}],"container-title":["Lecture Notes in Computer Science","Automata Implementation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T12:09:31Z","timestamp":1549454971000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031379"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646945","9783540691044"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0031379","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}