Specifying the Caltech asynchronous microprocessor

Science of Computer Programming

Volumn 26, Issue 1-3, 1996, Pages 79-97

  Back, R J R ^a   Martin, A J ^b   Sere, K ^c  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^c UNIVERSITY OF EASTERN FINLAND   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL TRANSFORMATIONS; MICROCOMPUTERS; PARALLEL PROCESSING SYSTEMS;

ACTION SYSTEMS; ASYNCHRONOUS CIRCUIT; CORRECTNESS PRESERVING PROGRAM TRANSFORMATIONS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0030149151     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-6423(95)00023-2     Document Type: Article

References (16)

1. R.J.R. Back, On the correctness of refinement steps in program development, Ph.D. Thesis, Department of Computer Science, University of Helsinki, Helsinki, Finland, 1978, Report A-1978-4.
2. R.J.R. Back, Refinement calculus, Part II: Parallel and reactive programs, in: J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, ed., Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proc. 1989, Lecture Notes in Computer Science, Vol. 430 (Springer, Berlin, 1990).
3. R.J.R. Back and R. Kurki-Suonio, Decentralization of process nets with centralized control, in: Proc. ACM SIGACT-SIGOPS Symp on Principles of Distributed Computing (1983) 131-142.
4. R.J.R. Back, A.J. Martin and K. Sere, Specification of a microprocessor, Tech. Report, Åbo Akademi University, Department of Computer Science. Ser. A, No 148, Turku, Finland, 1992.
5. R.J.R. Back and K. Sere, Stepwise refinement of parallel algorithms, Sci. Comput. Programming 13 (1989) 133-180.
6. R.J.R. Back and K. Sere, Action systems with synchronous communication, in:E.-R. Olderog, ed., Proc. PROCOMET'94, San Miniato, Italy, June 1994. Programming Concepts, Methods and Calculi, IFIP Trans. A-56 (North-Holland, Amsterdam, 1994) 107-126.
7. R.J.R. Back and K. Sere, From modular systems to action systems, in: Proc. Formal Methods Europe'94, Spain, October 1994, Lecture Notes in Computer Science (Springer, Berlin, 1994).
8. K. Chandy and J. Misra, Parallel Program Design: A Foundation (Addison-Wesley, Reading, MA, 1988).
9. E.W. Dijkstra, A Discipline of Programming (Prentice-Hall, Englewood Cliffs, NJ, 1976).
10. N. Francez, Cooperating proofs for distributed programs with multiparty interactions, Inform. Processing Lett. 32 (1989) 235-242.
11. T. Kuusela, J. Plosila, R. Ruksenas, K. Sere and Zhao Yi, Designing delay-insensitive circuits within the action systems framework, Manuscript, 1995.
12. A.J. Martin, Synthesis of asynchronous VLSI circuits, CalTech, Tech. Report, 1993.
13. C.C. Morgan, The specification statement, ACM Trans. Programming Languages and Systems 10 (1988) 403-419.
14. J.M. Morris, A theoretical basis for stepwise refinement and the programming calculus, Sci. Comput. Programming 9 (1987) 287-306.
15. K. Sere, Stepwise refinement of parallel algorithms, Ph.D. Thesis, Department of Computer Science, Åbo Akademi University, Turku, Finland, 1990.
16. J. Staunstrup and M.R. Greenstreet, Synchronized transitions, in: IFIP WG 10.5, Summer School on Formal Methods for VLSI Design, Lecture Notes (1990).