{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:32:33Z","timestamp":1725489153521},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540002253"},{"type":"electronic","value":"9783540362067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36206-1_30","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T03:23:08Z","timestamp":1187234588000},"page":"336-347","source":"Crossref","is-referenced-by-count":1,"title":["Decomposition in Asynchronous Circuit Design"],"prefix":"10.1007","author":[{"given":"Walter","family":"Vogler","sequence":"first","affiliation":[]},{"given":"Ralf","family":"Wollowski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"C. Andr\u00e9. Structural transformations giving B-equivalent PT-nets. In Pagnoni and Rozenberg, editors, Applications and Theory of Petri Nets, Informatik-Fachber. 66, 14\u201328. Springer, 1983.","DOI":"10.1007\/978-3-642-69028-0_2"},{"key":"30_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/3-540-44988-4_25","volume-title":"Applications and Theory of Petri Nets 2000","author":"J. Beister","year":"2000","unstructured":"J. Beister, G. Eckstein, and R. Wollowski. Cascade: a tool kernel supporting a comprehensive design method for asynchronous controllers. In M. Nielsen, editor, Applications and Theory of Petri Nets 2000, LNCS 1825, 445\u2013454. Springer, 2000."},{"key":"30_CR3","unstructured":"J. Beister and R. Wollowski. Controller implementation by communicating asynchronous sequential circuits generated from a Petri net specification of required behaviour. In G. Caucier and J. Trilhe, editors, Synthesis for Control Dominated Circuits, 103\u2013115. Elsevier Sci. Pub. 1993."},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"G. Berthelot. Transformations and decompositions of nets. In W. Brauer et al., editors, Petri Nets: Central Models and Their Properties, Lect. Notes Comp. Sci. 254, 359\u2013376. Springer, 1987.","DOI":"10.1007\/978-3-540-47919-2_13"},{"key":"30_CR5","unstructured":"T.-A. Chu. Synthesis of Self-Timed VLSI Circuits from Graph-Theoretic Specifications. PhD thesis, MIT, 1987. Extended abstract in IEEE Int. Conf. Computer Design ICCD\u2019 87, 1987, p.220\u2013223."},{"issue":"3","key":"30_CR6","first-page":"315","volume":"E80-D","author":"J. Cortadella","year":"1997","unstructured":"J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans. Inform. and Systems, E80-D, 3:315\u2013325, 1997.","journal-title":"IEICE Trans. Inform. and Systems"},{"key":"30_CR7","volume-title":"Trace Theory for Automatic Hierarchical Verification of Speed-Independent circuits","author":"D. Dill","year":"1988","unstructured":"D. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent circuits. MIT Press, Cambridge, 1988."},{"key":"30_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0167-6423(92)90017-6","volume":"18","author":"J. Ebergen","year":"1992","unstructured":"J. Ebergen. Arbiters: an exercise in specifying and decomposing asynchronously communicating components. Sci. of Computer Programming, 18:223\u2013245, 1992.","journal-title":"Sci. of Computer Programming"},{"key":"30_CR9","unstructured":"A. Kondratyev, M. Kishinevsky, and A. Taubin. Synthesis method in self-timed design. Decompositional approach. In IEEE Int. Conf. VLSI and CAD, pages 324\u2013327, 1993."},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"W. Vogler and R. Wollowski. Decomposition in asynchronous circuit design. Technical Report 2002-5, University of Augsburg, http:\/\/www.Informatik.Uni-Augsburg.DE\/skripts\/techreports\/ , 2002.","DOI":"10.1007\/3-540-36190-1_5"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"A. Yakovlev, M. Kishinevsky, A. Kondratyev, and L. Lavagno. Or causality: Modelling and hardware implementation. In R. Valette, editor, Applications and Theory of Petri Nets 1994, Lect. Notes Comp. Sci. 815, 568\u2013587. Springer, 1994.","DOI":"10.1007\/3-540-58152-9_31"}],"container-title":["Lecture Notes in Computer Science","FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36206-1_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:08:11Z","timestamp":1556755691000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36206-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540002253","9783540362067"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-36206-1_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}