A design methodology for concurrent VLSI systems, Proceedings of the International Conference on Computer Design (ICCD), pp.407-410, 1985. ,
Translating Programs into Delay-Insensitive Circuits, 1987. ,
A formal approach to designing delay-insensitive circuits, Distributed Computing, vol.1, issue.6, pp.107-119, 1991. ,
DOI : 10.1007/BF02252954
Zur elektrodynamik bewegter körper, Annalen der Physik, vol.17, pp.891-921, 1905. ,
The collected papers of Albert Einstein, 1989. ,
Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978. ,
DOI : 10.1145/359576.359585
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
DOI : 10.1145/359545.359563
On interprocess communication, Distributed Computing, vol.21, issue.2, pp.77-85, 1986. ,
DOI : 10.1007/BF01786227
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.1038
Concurrent computing machines and physical space-time, Mathematical Structures in Computer Science, vol.13, issue.5, pp.771-798, 2003. ,
DOI : 10.1017/S0960129503004067
URL : https://hal.archives-ouvertes.fr/hal-01166313
On the relativistic structure of logical time in distributed systems, Parallel and Distributed Algorithms, pp.215-226, 1992. ,
Basic notions of trace theory Branching Time, and Partial Order in Logics and Models for Concurrency, Linear Time number 354 in LNCS, p.285, 1988. ,
Synthesis of delay-insensitive modules, Proceedings of the, 1985. ,
Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989. ,
DOI : 10.1109/5.24143
Kommunikation mit Automaten, 1962. ,
Using partial-order semantics to avoid the state explosion problem in asynchronous systems, LNCS, vol.531, pp.146-155, 1990. ,
Signal graphs: from self-timed to timed ones, Proceedings of the International Workshop on Timed Petri Nets, pp.199-207, 1985. ,
The Analysis of Matter, 1927. ,
Relative timing, Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp.129-140, 2003. ,
DOI : 10.1109/ASYNC.1999.761535
Classification and Composition of Delay-Insensitive Circuits The Netherlands, 1984. ,
A formal model for defining and classifying delayinsensitive circuits and systems, Distributed Computing, vol.1, pp.197-204, 1986. ,
Trace Theory and VLSI Design, Number 200 in LNCS, 1985. ,
The Linear Time -Branching Time Spectrum (extended abstract), Proceedings of The International Conference on Concurrency Theory (ConCur), number 458 in LNCS, pp.278-297, 1990. ,
A Theory of Delay-Insensitive Systems, 1994. ,