CIRCAL and the Representation of Communication, Concurrency, and Time

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 7, Issue 2, 1985, Pages 270-298

  Milne, George J ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976660535     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/3318.3322     Document Type: Article

References (21)

1. BOCHMANN, G. Hardware specification with temporal logic: An example. IEEE Tram. Comput. C-31,3 (1982), 223-231.
2. CAMPBELL, R., AND HABERMANN, A. The specification of process synchronization by path expressions. Lecture Notes in Computer Science, vol. 16. Springer-Verlag, New York, 1974.
3. GORDON, M. A very simple model of sequential behavior of nMOS. In proceedings VLSI 81 (Edinburgh, Scotland, 1981). Academic Press, New York.
4. HENNESSY, M., AND MILNER, R. On observing nondeterminism and concurrency. Lecture Notes in Computer Science, vol. 85. Springer-Verlag, New York, 1980.
5. HOARE, C. A. R. Communicating sequential processes. Commun. ACM 21,8 (1978), 666-677.
6. HOARE, C. A. R., BROOKES, S., AND ROSCOE, W. A. A theory of communicating sequential processes. Tech. Rep. PGR-16, Oxford Univ. Prog. Research Group, Oxford, 1981.
7. MANNA, Z., AND PNUELI, A. The modal logic of programs. Rep. STAN-CS-79-751, Computer Science, Stanford Univ., Stanford, Calif., 1979.
8. MEAD, C., AND CONWAY, L. Introduction to VLSI systems. Addison-Wesley, Reading, Mass., 1980.
9. MILNE, G., AND MILNER, R. Concurrent processes and their syntax. J. ACM 26,2 (1979), 302-321.
10. MILNE, G. A mathematical model of concurrent computation. Ph.D. dissertation, University of Edinburgh, Edinburgh, Scotland, 1978.
11. MILNE, G. Modelling distributed database protocols by synchronization processes. Rep. CSR-34-78, Computer Science, University of Edinburgh, Edinburgh, Scotland, 1978.
12. MILNE, G. The representation of communication and concurrency. Rep. 4088, Computer Science, California Institute of Technology, 1980.
13. MILNE, G. CIRCAL: A calculus for circuit description. INTEGRATION, the VLSZJournul 1,2 and 3 (1983), 121-160.
14. MILNE, G. The correctness of a simple silicon compiler. In Proceedings 6th Znt. Symp. Computer Hardware Description Languages and Their Applications (Pittsburgh, Pa., May 1983), Elsevier North-Holland, New York.
15. MILNE, G. Abstraction and nondeterminism in concurrent systems. In Proceedings 3rd Znt. Conf. Distributed Computing Systems. IEEE Computer Society Press, New York, 1982.
16. MILNE, G. A model for hardware description and verification. In Proceedings 2lst Design Automation Conference (Albuquerque, N. Mex., June 1984). IEEE Computer Society Press, New York.
17. MILNER, R. A calculus of communicating systems. LNCS 92, Springer-Verlag, New York, 1980.
18. MILNER, R. Calculi for synchrony and asynchrony. Theor. Comput. Sci. 25,3,267-310.
19. MOSZKOWSKI, B. A temporal logic for reasoning about hardware. In Proceedings 6th Znt. Conf. Computer Hardware Description Lungauges (Pittsburgh, Pa., May 1983). North-Holland, New York.
20. SCOTT, D., AND STRACHEY, C. Towards a mathematical semantics for computer languages. In Proceedings Symp. Computers and Automata (Microwave Res. Inst., Polytechnic Institute of Brooklyn, New York, 1971).
21. TRAUB, N. A Lisp based CIRCAL environment. Rep. CSR-152-83, Computer Science, University of Edinburgh, Edinburgh, Scotland, 1983.