{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:54Z","timestamp":1750307154121,"version":"3.41.0"},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. Emerg. Technol. Comput. Syst."],"published-print":{"date-parts":[[2011,12]]},"abstract":"<jats:p>Time plays a crucial role in the performance of computing systems. The accurate modelling of logical devices, and of their physical implementations, requires an appropriate representation of time and of all properties that depend on this notion. The need for a proper model, particularly acute in the design of clockless delay-insensitive (DI) circuits, leads one to reconsider the classical descriptions of time and of the resulting order and causal relations satisfied by logical operations. This questioning meets the criticisms of classical spacetime formulated by Einstein when founding relativity theory and is answered by relativistic conceptions of time and causality. Applying this approach to clockless circuits and considering the trace formalism, we rewrite Udding\u2019s rules, which characterize communications between DI components. We exhibit their intrinsic relation with relativistic causality. For that purpose, we introduce relativistic generalizations of traces, called R-traces, which provide a pertinent description of communications and compositions of DI components.<\/jats:p>","DOI":"10.1145\/2043643.2043650","type":"journal-article","created":{"date-parts":[[2011,12,13]],"date-time":"2011-12-13T15:45:47Z","timestamp":1323791147000},"page":"1-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Relativistic Causality and Clockless Circuits"],"prefix":"10.1145","volume":"7","author":[{"given":"Philippe","family":"Matherat","sequence":"first","affiliation":[{"name":"CNRS-LTCI (UMR 5141) and Institut T\u00e9l\u00e9com"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc-Thierry","family":"Jaekel","sequence":"additional","affiliation":[{"name":"CNRS-LPTENS (UMR 8549), Ecole Normale Sup\u00e9rieure and Universit\u00e9 Pierre et Marie Curie"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,12]]},"reference":[{"volume-title":"Proceedings of the International Conference on Computer Design (ICCD). IEEE Computer Society Press, 407--410","author":"Chu T.","key":"e_1_2_1_1_1","unstructured":"Chu , T. - A. , Leung , C. K. C. , and Wanuga , T. S . 1985. A design methodology for concurrent VLSI systems . In Proceedings of the International Conference on Computer Design (ICCD). IEEE Computer Society Press, 407--410 . Chu, T.-A., Leung, C. K. C., and Wanuga, T. S. 1985. A design methodology for concurrent VLSI systems. In Proceedings of the International Conference on Computer Design (ICCD). IEEE Computer Society Press, 407--410."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02252954"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/andp.19053221004"},{"volume-title":"The Collected Papers of Albert Einstein","author":"Einstein A.","key":"e_1_2_1_5_1","unstructured":"Einstein , A. 1989. The Collected Papers of Albert Einstein . Vol. 2 . Princeton University Press . Einstein, A. 1989. The Collected Papers of Albert Einstein. Vol. 2. Princeton University Press."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01786227"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129503004067"},{"volume-title":"Parallel and Distributed Algorithms","author":"Mattern F.","key":"e_1_2_1_10_1","unstructured":"Mattern , F. 1992. On the relativistic structure of logical time in distributed systems . In Parallel and Distributed Algorithms . Elsevier Science Publishers B.V , 215--226. Mattern, F. 1992. On the relativistic structure of logical time in distributed systems. In Parallel and Distributed Algorithms. Elsevier Science Publishers B.V, 215--226."},{"key":"e_1_2_1_11_1","volume-title":"Lecture Notes in Computer Science","volume":"354","author":"Mazurkiewicz A.","year":"1989","unstructured":"Mazurkiewicz , A. 1989 . Basic notions of trace theory. In Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency. Schoo\/Workshop, J. W. de Bakker, W. P. de Roever, and G. Rozenberg Eds ., Lecture Notes in Computer Science , vol. 354 . Springer-Verlag, Berlin, 285. Mazurkiewicz, A. 1989. Basic notions of trace theory. In Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency. Schoo\/Workshop, J. W. de Bakker, W. P. de Roever, and G. Rozenberg Eds., Lecture Notes in Computer Science, vol. 354. Springer-Verlag, Berlin, 285."},{"volume-title":"Proceedings of the Chapel Hill Conference on VLSI. H. Fuchs Ed. Computer Science Press, 67--86","author":"Molnar C. E.","key":"e_1_2_1_12_1","unstructured":"Molnar , C. E. , Fang, T. -P., and Rosenberger , F. U . 1985. Synthesis of delay-insensitive modules . In Proceedings of the Chapel Hill Conference on VLSI. H. Fuchs Ed. Computer Science Press, 67--86 . Molnar, C. E., Fang, T.-P., and Rosenberger, F. U. 1985. Synthesis of delay-insensitive modules. In Proceedings of the Chapel Hill Conference on VLSI. H. Fuchs Ed. Computer Science Press, 67--86."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Probst D. K.\n       and Li H. F\n  . \n  1990\n  . Using partial-order semantics to avoid the state explosion problem in asynchronous systems. In Proceedings of the Conference on Computer Aided Verification (CAV). E. M. Clarke and R. P. Kurshan Eds. Lecture Notes in Computer Science vol. \n  531\n  . \n  Springer-Verlag Berlin 146--155. Probst D. K. and Li H. F. 1990. Using partial-order semantics to avoid the state explosion problem in asynchronous systems. In Proceedings of the Conference on Computer Aided Verification (CAV). E. M. Clarke and R. P. Kurshan Eds. Lecture Notes in Computer Science vol. 531. Springer-Verlag Berlin 146--155.","DOI":"10.1007\/BFb0023728"},{"volume-title":"Proceedings of the International Workshop on Timed Petri Nets. IEEE Computer Society Press, 199--207","author":"Rosenblum L. Y.","key":"e_1_2_1_16_1","unstructured":"Rosenblum , L. Y. and Yakovlev, A. V . 1985. Signal graphs: from self-timed to timed ones . In Proceedings of the International Workshop on Timed Petri Nets. IEEE Computer Society Press, 199--207 . Rosenblum, L. Y. and Yakovlev, A. V. 1985. Signal graphs: from self-timed to timed ones. In Proceedings of the International Workshop on Timed Petri Nets. IEEE Computer Society Press, 199--207."},{"key":"e_1_2_1_17_1","volume-title":"ABC of Relativity","author":"Russell B.","year":"1997","unstructured":"Russell , B. 1925. ABC of Relativity . Routledge 1997 . Russell, B. 1925. ABC of Relativity. Routledge 1997."},{"key":"e_1_2_1_18_1","unstructured":"Russell B. 1926. Philosophical Consequences of Relativity. Encyclopaedia Britannica. Russell B. 1926. Philosophical Consequences of Relativity . Encyclopaedia Britannica."},{"key":"e_1_2_1_19_1","volume-title":"The Analysis of Matter","author":"Russell B.","year":"1992","unstructured":"Russell , B. 1927. The Analysis of Matter . Routledge 1992 . Russell, B. 1927. The Analysis of Matter. Routledge 1992."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2002.801606"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/63526.63532"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01660032"},{"key":"e_1_2_1_24_1","series-title":"Lecture Notes in Computer Science","volume-title":"Trace Theory and VLSI Design","author":"van de Snepscheut J. L. A.","unstructured":"van de Snepscheut , J. L. A. 1985. Trace Theory and VLSI Design . Lecture Notes in Computer Science , vol. 200 . Springer-Verlag . van de Snepscheut, J. L. A. 1985. Trace Theory and VLSI Design. Lecture Notes in Computer Science, vol. 200. Springer-Verlag."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the International Conference on Concurrency Theory (ConCur). J. Baeten and J. Klop Eds., Lecture Notes in Computer Science","volume":"458","author":"van Glabbeek R.","year":"1990","unstructured":"van Glabbeek , R. 1990 . The linear time - branching time spectrum (extended abstract) . In Proceedings of the International Conference on Concurrency Theory (ConCur). J. Baeten and J. Klop Eds., Lecture Notes in Computer Science , vol. 458 . Springer-Verlag, Berlin, 278--297. van Glabbeek, R. 1990. The linear time - branching time spectrum (extended abstract). In Proceedings of the International Conference on Concurrency Theory (ConCur). J. Baeten and J. Klop Eds., Lecture Notes in Computer Science, vol. 458. Springer-Verlag, Berlin, 278--297."}],"container-title":["ACM Journal on Emerging Technologies in Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043643.2043650","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2043643.2043650","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:19Z","timestamp":1750240459000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043643.2043650"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["10.1145\/2043643.2043650"],"URL":"https:\/\/doi.org\/10.1145\/2043643.2043650","relation":{},"ISSN":["1550-4832","1550-4840"],"issn-type":[{"type":"print","value":"1550-4832"},{"type":"electronic","value":"1550-4840"}],"subject":[],"published":{"date-parts":[[2011,12]]},"assertion":[{"value":"2011-03-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}