Deterministic receptive processes are Kahn processes

Proceedings - Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'05

Volumn 2005, Issue , 2005, Pages 37-44

  Edwards, Stephen A ^a   Tardieu, Olivier ^a  

^a Och Spine at New York Presbyterian Hospitals   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS FORMALISMS; DETERMINISTIC RECEPTIVE PROCESS; KAHN PROCESSES; KAHN'S DATAFLOW NETWORKS;

COMPUTATION THEORY; COMPUTER HARDWARE; DATA FLOW ANALYSIS; ELECTRONIC COMMUNITIES; FUNCTIONS;

RANDOM PROCESSES;

EID: 33745137483     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MEMCOD.2005.1487889     Document Type: Conference Paper

References (22)

1. Andrew Bardsley. Balsa: An asynchronous circuit synthesis system. Master's thesis, University of Manchester, England, 1998.
2. Paul Dechering, Rix Groenboom, Edwin de Jong, and Jan Tijmen Udding. Formalization of a software architecture for embedded systems: a process algebra for SPLICE. In Proceedings of the 32nd Hawaii International Conference on System Sciences, Maui, Hawaii, January 1999.
3. Stephen A. Edwards. SHIM: A language for hardware/software integration. In Proceedings of SYNCHRON, Schloss Dagstuhl, Germany, December 2004.
4. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, Upper Saddle River, New Jersey, 1985.
5. Lilian Janin, Andrew Bardsley, and Doug A. Edwards. Simulation and analysis of synthesised asynchronous circuits. International Journal of Simulation Systems, Science & Technology, 4(3-4):31-43, 2003.
6. Mark B. Josephs. Receptive process theory. Acta Informatica, 29(1): 17-31, February 1992.
7. Mark B. Josephs. An analysis of determinacy using a trace-theoretic model of asynchronous circuits. In Proceedings of the Ninth International Symposium on Asynchronous Circuits and Systems (ASYNC), pages 121-130, Vancouver, BC, Canada, May 2003.
8. Mark B. Josephs, Steven M. Nowick, and C. H. (Kees) van Berkel. Modeling and design of asynchronous circuits. Proceedings of the IEEE, 87(2):232-242, February 1999.
9. Mark B. Josephs and Jan Tijmen Udding. An overview of D-I algebra. In Proceedings of the 26th Hawaii International Conference on System Sciences, volume I, pages 329-338, Hawaii, January 1993.
10. Gilles Kahn. The semantics of a simple language for parallel programming. In Information Processing 74: Proceedings of IFIP Congress 74, pages 471-475, Stockholm, Sweden, August 1974. North-Holland.
11. J.-L. Lassez, V. L. Nguyen, and E. A. Sonnenberg. Fixed point theorems and semantics: A folk tale. Information Processing Letters, 14(3):112-116, May 1982.
12. Edward A. Lee and David G. Messerschmitt. Synchronous data flow. Proceedings of the IEEE, 75(9): 1235-1245, September 1987.
13. Edward A. Lee and Thomas M. Parks. Dataflow process networks. Proceedings of the IEEE, 83(5):773-801, May 1995.
14. Willem C. Mallon and Jan Tijmen Udding. Building finite automata from DI specifications. In Proceedings of Advanced Research in Asynchronous Circuits and Systems (ASYNC), pages 184-193, San Diego, California, March 1998.
15. John O'Leary and Geoffrey Brown. Synchronous emulation of asynchronous circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 16(2):205-209, February 1997.
16. Ad Peeters and Kees van Berkel. Synchronous handshake circuits. In Proceedings of the Seventh International Symposium on Asynchronous Circuits and Systems (ASYNC), pages 86-95, Salt Lake City, Utah, March 2001.
17. Jan Tijmen Udding. A formal model for defining and classifying delay-insensitive circuits and systems. Distributed Computing, 1(4):197-204, 1986.
18. Kees van Berkel. Handshake Circuits: An Intermediary Between Communicating Processes and VLSI. PhD thesis, Eindhoven University of Technology, The Netherlands, May 1992.
19. Kees van Berkel. Handshake Circuits: An Asynchronous Architecture for VLSI Programming. Cambridge University Press, 1993.
20. Kees van Berkel, Joep Kessels, Marly Roncken, Ronald Raeijs, and Frits Schalij. The VLSI-programming language Tangram and its translation into handshake circuits. In Proceedings of European Design Automation (EDAC), pages 384-389, Amsterdam, The Netherlands, February 1991.
21. Kees van Berkel and Martin Rem. VLSI programming of asynchronous circuits for low power. In G. Birtwistle and A. Davis, editors, Asynchronous Digital Circuit Design, Workshops in Computing, pages 151-210. Springer-Verlag, 1995.
22. Jan L. A. Van de Snepscheut. Trace Theory and VLSI Design, volume 200 of Lecture Notes in Computer Science. Springer-Verlag, 1985.