Analysis and applications of the XDI model

Proceedings - International Symposium on Asynchronous Circuits and Systems

Volumn , Issue , 1999, Pages 231-242

  Mallon, Willem C ^a   Udding, Jan Tijmen ^a   Verhoeff, Tom ^b  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Communicating processes; Delay insensitivity; Derivation; Factorization; Verification

Indexed keywords

COMMUNICATING PROCESS; COMMUNICATION DELAYS; DELAY-INSENSITIVITY; DERIVATION; EXECUTION MODEL; NUMEROUS MODELS; PARALLEL COMPOSITION; REWRITE RULES;

FACTORIZATION;

EID: 0006916601     PISSN: 15228681     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASYNC.1999.761537     Document Type: Conference Paper

References (20)

1. Kees van Berkel. Handshake Circuits: An Intermediary between Communicating Processes and VLSI. PhD thesis, Eindhoven University of Technology, 1992.
2. Bill Coates. Design of naking arbiter steering logic. Technical Report SML# 98:0263, Sun Microsystems Laboratories, 1998.
3. David L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations. MIT Press, 1989.
4. E.W. Dijkstra and C.S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, 1990.
5. Jo C. Ebergen. A formal approach to designing delay-insensitive circuits. Distributed Computing, 5(3): 107-119,1991.
6. Jo Ebergen, Charles Molnar, Radu Negulescu, Huub Schols, Bob Sproull (editor), Jan Tijmen Udding, and Tom Verhoeff. And/if a file format for exchanging finite automata descriptions, http://edis.win.tue.nl/and-if.
7. Rix Groenboom, Paul Lucassen, Willem Mallon, Indra Polak, and Jan Tijmen Udding. Asynchronous research group groningen. http://www.cs.rug.nl/~willem/ ARGG.
8. Wim H. Hesselink. Programs, Recursion and Unbounded Choice, volume 27 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
9. Mark B. Josephs. Receptive process theory. Acta Informatica, 29(1):17-31,1992.
10. M. B. Josephs and J. T. Udding. An overview of DI algebra. In Proc. Hawaii International Conf. System Sciences, volume I. IEEE Computer Society Press, January 1993.
11. Paul G. Lucassen. A Denotational Model and Composition Theorems for a Calculus of Delay-Insensitive Specifications. PhD thesis, Dept. of C.S., Univ. of Groningen, The Netherlands, May 1994.
12. Willem C. Mallon and Jan Tijmen Udding. Building finite automatons from DI specifications. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 184-193, 1998.
13. Willem C. Mallon and Jan Tijmen Udding. Delay insensitive composition and decomposition. Technical Report CSN 98-10-19, Dept. of Comp. Science, Univ. of Groningen, 1998.
14. Willem C. Mallon and Jan Tijmen Udding. Divergence extensions and alternations. Technical Report in preparation, Dept. of Comp. Science, Univ. of Groningen, 1998.
15. Radu Negulescu. Process Spaces and Formal Verification of Asynchronous Circuits. PhD thesis, Dept. of Computer Science, Univ. of Waterloo, Canada, August 1998.
16. Robert F. Sproull, Ivan E. Sutherland, and Charles E. Molnar. The counterflow pipeline processor architecture. IEEE Design & Test of Computers, 11(3):48-59, Fall 1994.
17. Tom Verhoeff. Encyclopedia of Delay-Insensitive Systems (EDIS). http://edis.win.tue.nl/.
18. Tom Verhoeff. A Theory of Delay-Insensitive Systems. PhD thesis, Dept. of Math. and C.S., Eindhoven Univ. of Technology, May 1994.
19. Tom Verhoeff. Analyzing specifications for delay-insensitive circuits. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 172-183, 1998.
20. Tom Verhoeff. Factorization in process domains. Technical Report 98/10, Dept. of Math. and C.S., Eindhoven Univ. of Technology, 1998.