{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:08:58Z","timestamp":1737176938903,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437871"},{"type":"electronic","value":"9783540480686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48068-4_6","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T11:01:43Z","timestamp":1182164503000},"page":"70-79","source":"Crossref","is-referenced-by-count":0,"title":["Is the Die Cast for the Token Game?"],"prefix":"10.1007","author":[{"given":"Alex","family":"Yakovlev","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"A. Allan, et. al., 2001 Technology Roadmap for Semiconductors, Computer, January 2002, pp. 42\u201353.","DOI":"10.1109\/2.976918"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"J. Spars\u00f8 and S. Furber, Eds., Principles of Asynchronous Circuit Design: A Systems Perspective. Kluwer Academic Publishers, 2001.","DOI":"10.1007\/978-1-4757-3385-3"},{"key":"6_CR3","unstructured":"S. Furber, Industrial take-up of asynchronous design, Keynote talk at the Second ACiD-WG Workshop, Munich, Jan. 2002 ( http:\/\/www.scism.sbu.ac.uk\/ccsv\/ACiD-WG\/Workshop2FP5\/Programme\/ )."},{"key":"6_CR4","unstructured":"D. Ferguson and M. Hagedorn, The Application of NULL Convention Logic to Microcontroller\/Microconverter Product, Second ACiD-WG Workshop, Munich, Jan. 2002 ( http:\/\/www.scism.sbu.ac.uk\/ccsv\/ACiD-WG\/Workshop2FP5\/Programme\/ )."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"K. van Berkel. Handshake Circuits: an Asynchronous Architecture for VLSI Programming, volume 5 of International Series on Parallel Computation. Cambridge University Press, 1993.","DOI":"10.1017\/CBO9780511585777"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"I. Blunno and L. Lavagno. Automated synthesis of micro-pipelines from behavioral Verilog HDL, Proc. of IEEE Symp. on Adv. Res. in A sync. Cir. and Syst. (ASYNC 2000), IEEE CS Press, pp. 84\u201392.","DOI":"10.1109\/ASYNC.2000.836967"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"M. A. Pe\u00f1a and J. Cortadella, Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits, Proc. of IEEE Symp. on Adv. Res. in Async. Cir. and Syst. (ASYNC\u201996), IEEE CS Press, pp. 222\u2013232.","DOI":"10.1109\/ASYNC.1996.494453"},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","first-page":"397","volume-title":"Proc. of Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201996)","author":"E. Best","year":"1996","unstructured":"E. Best and B. Grahlmann. PEP-more than a Petri Net Tool. Proc. of Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201996), Springer-Verlag, Lecture Notes in Computer Science 1055, Springer-Verlag (1996) 397\u2013401."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. Logic Synthesis of Asynchronous Controllers and Interfaces, Springer-Verlag, 2002, ISBN 3-540-43152-7.","DOI":"10.1007\/978-3-642-55989-1"},{"key":"6_CR10","unstructured":"Petrify, Version 4.0. (see http:\/\/www.lsi.upc.es\/~jordic\/petrify\/petrify-4.0\/ )."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"T. Chelcea, A. Bardsley, D. Edwards and S. M. Nowick. A burst-mode oriented back-end for the Balsa synthesis system, Proc. of Design, Automation and Test in Europe (DATE\u201902), IEEE CS Press, pp. 330\u2013337.","DOI":"10.1109\/DATE.2002.998294"},{"key":"6_CR12","unstructured":"S. S. Patil and J. B. Dennis. The description and realization of digital systems. In Proceedings of the IEEE COMPCON, pages 223\u2013226, 1972."},{"issue":"8","key":"6_CR13","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1109\/TC.1977.1674910","volume":"26","author":"R. David","year":"1977","unstructured":"R. David. Modular design of asynchronous circuits defined by graphs. IEEE Transactions on Computers, 26(8):727\u2013737, August 1977.","journal-title":"IEEE Transactions on Computers"},{"issue":"12","key":"6_CR14","doi-asserted-by":"crossref","first-page":"1133","DOI":"10.1109\/TC.1982.1675937","volume":"C-31","author":"L. A. Hollaar","year":"1982","unstructured":"L. A. Hollaar. Direct implementation of asynchronous control units. IEEE Transactions on Computers, C-31(12):1133\u20131141, December 1982.","journal-title":"IEEE Transactions on Computers"},{"key":"6_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/3-540-61363-3_27","volume-title":"Application and Theory of Petri Nets 1996","author":"V. I. Varshavsky","year":"1996","unstructured":"V. I. Varshavsky and V. B. Marakhovsky. Asynchronous control device design by net model behavior simulation. In J. Billington and W. Reisig, editors, Application and Theory of Petri Nets 1996, volume 1091 of Lecture Notes in Computer Science, pages 497\u2013515. Springer-Verlag, June 1996."},{"key":"6_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/3-540-65307-4_49","volume-title":"Lectures on Petri Nets II: Applications. Advances in Petri Nets","author":"A. Yakovlev","year":"1998","unstructured":"A. Yakovlev and A. Koelmans. Petri nets and Digital Hardware Design Lectures on Petri Nets II: Applications. Advances in Petri Nets, Lecture Notes in Computer Science, vol. 1492, Springer-Verlag, 1998, pp. 154\u2013236."},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"A. Bystrov and A. Yakovlev. Asynchronous Circuit Synthesis by Direct Mapping: Interfacing to Environment, Proc. ASYNC\u201902, Manchester, April 2002.","DOI":"10.1109\/ASYNC.2002.1000303"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"D. Shang, F. Xia and A. Yakovlev. Asynchronous Circuit Synthesis via Direct Translation, Proc. Int. Symp. on Cir. and Syst. (ISCAS\u201902), Scottsdale, Arizona, May 2002.","DOI":"10.1109\/ISCAS.2002.1010237"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/WCADM.1995.514640","volume-title":"Proc. of 2nd Working Conference on Asynchronous Design Methdologies, London, May 1995","author":"A. Yakovlev","year":"1995","unstructured":"A. Yakovlev, V. Varshavsky, V. Marakhovsky and A. Semenov. Designing an asynchronous pipeline token ring interface, Proc. of 2nd Working Conference on Asynchronous Design Methdologies, London, May 1995, IEEE Comp. Society Press, N. Y., 1995, pp. 32\u201341."},{"key":"6_CR20","unstructured":"A. Yakovlev, S. Furber and R. Krenz, Design, Analysis and Implementation of a Self-timed Duplex Communication System, CS-TR-761, Dept. Computing Science, Univ. of Newcastle upon Tyne, March 2002. ( http:\/\/www.cs.ncl.ac.uk\/people\/alex.yakovlev\/home.informal\/some_papers\/duplex-TR.ps )"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48068-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T08:38:36Z","timestamp":1737103116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}