{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T04:48:09Z","timestamp":1749185289281,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/async.2002.1000295","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"47-56","source":"Crossref","is-referenced-by-count":27,"title":["An event spacing experiment"],"prefix":"10.1109","author":[{"given":"A.J.","family":"Winstanley","sequence":"first","affiliation":[]},{"given":"A.","family":"Garivier","sequence":"additional","affiliation":[]},{"given":"M.R.","family":"Greenstreet","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"SPICE 2: a computer program to simulate semiconductor circuits","year":"1975","author":"nagel","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3486-9"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/0167-9260(93)90035-B","article-title":"Delay-insensitive multi-ring structures","volume":"15","author":"spars?and","year":"1993","journal-title":"Integration"},{"journal-title":"Reactive-Process Programming and Distributed Discrete Event-Simulation","year":"1989","author":"su","key":"ref13"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0167-9260(91)90034-I","article-title":"On the analysis and optimization of self-timed processor arrays","volume":"12","author":"thiele","year":"1991","journal-title":"Integration"},{"journal-title":"Self-timed rings and their application to division","year":"1991","author":"williams","key":"ref15"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44798-9_12","article-title":"Temporal properties of self-timed rings","author":"winstanley","year":"2001"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44798-9_12","article-title":"Temporal properties of self-timed rings","author":"winstanley","year":"2001","journal-title":"Proceedings of the 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods CHARME'01"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2002.1000294"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1997.587164"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/196244.196562","article-title":"a gate-delay model for high-speed cmos circuits","author":"dartu","year":"1994","journal-title":"31st Design Automation Conference"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139166980"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF00935211"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1998.666509"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/12.475126"},{"article-title":"Differential Equations, Dynamical Systems, and Linear Algebra","year":"1974","author":"hirsch","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1996.545649"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1999.761525"},{"key":"ref9","first-page":"456","article-title":"UPPAAL: Status and developments","author":"larsen","year":"1997","journal-title":"Proc of the Computer-aided Verification Conference"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1999.761526"},{"key":"ref21","article-title":"A verification tool for real-time systems","volume":"1","author":"yovine kronos","year":"1997","journal-title":"Interntional Jornal on Software Tools for Technology Transfer"}],"event":{"name":"Eighth International Symposium on Asynchronous Circuits and Systems","acronym":"ASYNC-02","location":"Manchester, UK"},"container-title":["Proceedings Eighth International Symposium on Asynchronous Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7846\/21599\/01000295.pdf?arnumber=1000295","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,5]],"date-time":"2018-05-05T22:33:24Z","timestamp":1525559604000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1000295\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/async.2002.1000295","relation":{},"subject":[]}}