A theory of delay-insensitive systems

• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.

[1]  Charles E. Molnar,et al.  Anomalous Behavior of Synchronizer and Arbiter Circuits , 1973, IEEE Transactions on Computers.

[2]  T Tom Verhoeff.  Characterizations of delay-insensitive communication protocols , 1989 .

[3]  C.-J. Seger.  On the Existence of Speed-Independent Circuits , 1991, Theor. Comput. Sci..

[4]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[5]  Kees van Berkel.  Beware the isochronic fork , 1992, Integr..

[6]  C. A. R. Hoare,et al.  The Weakest Prespecification , 1987, Information Processing Letters.

[7]  Lynn Conway,et al.  Introduction to VLSI systems , 1978 .

[8]  Charles L. Seitz,et al.  Self-Timed VLSI Systems , 1979 .

[9]  Wei Chen,et al.  Networks of Communicating Processes and Their (De-)Composition , 1989, MPC.

[10]  Leonard R. Marino,et al.  General theory of metastable operation , 1981, IEEE Transactions on Computers.

[11]  Daniel W. Dobberpuhl,et al.  The design and analysis of VLSI circuits , 1985 .

[12]  Jacques Loeckx,et al.  The Foundations of Program Verification , 1987 .

[13]  Antonio Cantoni,et al.  On the Unavoidability of Metastable Behavior in Digital Systems , 1987, IEEE Transactions on Computers.

[14]  Feller William,et al.  An Introduction To Probability Theory And Its Applications , 1950 .

[15]  Rocco De Nicola,et al.  Testing Equivalences for Processes , 1984, Theor. Comput. Sci..

[16]  Jan Tijmen Udding,et al.  The Mathematics of Directed Specifications , 1988 .

[17]  S. Lane.  Mathematics, Form and Function , 1985 .

[18]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[19]  W. Hamilton,et al.  The evolution of cooperation. , 1984, Science.

[20]  C. G. Huang,et al.  Compilation of process algebra expressions into delay-insensitive circuits , 1993 .

[21]  Sidneyf Elder,et al.  ELEMENTS OF SET THEORY , 1995 .

[22]  P. Cousot,et al.  Constructive versions of tarski's fixed point theorems , 1979 .

[23]  David L. Dill,et al.  Trace theory for automatic hierarchical verification of speed-independent circuits , 1989, ACM distinguished dissertations.

[24]  J. C. Ebergen.  Translating programs into delay-insensitive circuits , 1989 .

[25]  Jan L. A. van de Snepscheut,et al.  An Alternative Implementation of Communication Primitives , 1986, Inf. Process. Lett..

[26]  Kees van Berkel,et al.  Handshake Circuits: An Asynchronous Architecture for VLSI Programming , 1993 .

[27]  Marly Roncken,et al.  Linear Test Times for Delay-Insensitive Circuits: a Compilation Strategy , 1993, Asynchronous Design Methodologies.

[28]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[29]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[30]  T Tom Verhoeff,et al.  The testing paradigm applied to network structure , 1994 .

[31]  Antonio Cantoni,et al.  Metastable Behavior in Digital Systems , 1987, IEEE Design & Test of Computers.

[32]  Frank Thomson Leighton,et al.  Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits , 1988 .

[33]  T Tom Verhoeff,et al.  A continuous version of the prisoner's dilemma , 1993 .

[34]  Karl Raimund Sir Popper,et al.  Realism and the aim of science , 1983 .

[35]  Wesley A. Clark.  Macromodular computer systems , 1967, AFIPS '67 (Spring).

[36]  Jan L. A. van de Snepscheut,et al.  Trace Theory and VLSJ Design , 1985, Lecture Notes in Computer Science.

[37]  Trevor York,et al.  Book Review: Principles of CMOS VLSI Design: A Systems Perspective , 1986 .

[38]  Hmjl Huub Schols.  Delay-insensitive communication , 1992 .

[39]  Mark B. Josephs,et al.  The Design of a Delay-Insensitive Stack , 1991 .

[40]  Robert M. Keller,et al.  Towards a Theory of Universal Speed-Independent Modules , 1974, IEEE Transactions on Computers.

[41]  Thomas J. Chaney,et al.  Q-Modules: Internally Clocked Delay-Insensitive Modules , 1988, IEEE Trans. Computers.

[42]  Jo C. Ebergen,et al.  Arbiters: An Exercise in Specifying and Decomposing Asynchronously Communicating Components , 1992, Sci. Comput. Program..

[43]  Amg Ad Peeters.  Decomposition of delay-insensitive circuits , 1990 .

[44]  Van Berkel.  VLSI programming and silicon compilation , 1988 .

[45]  Tony Hoare.  A Theory of Asynchronous Processes , 1989 .

[46]  A. Kaldewaij.  A formalism for concurrent processes , 1986 .

[47]  J. Roger Hindley,et al.  Introduction to combinators and λ-calculus , 1986, Acta Applicandae Mathematicae.

[48]  Marly Roncken,et al.  The VLSI-programming language Tangram and its translation into handshake circuits , 1991, Proceedings of the European Conference on Design Automation..