Algebraic tools for system construction

1. ADJ (GOGUEN, J.A., J.W. THATCHER, E.G. WAGNER & J.B. WRIGHT), Initial algebra semantics and continuous algebras

   Google Scholar 

2. ADJ (GOGUEN, J.A., J.W. THATHER & E.G. WAGNER), An initial algebra approach to the specification, correctness and implementation of abstract data types, in R.T. Yeh (ed.): Current trends in programming methodology IV, Data structuring, Prentice Hall, Englewood Cliffs (1978), 80–149.

   Google Scholar 

3. ADJ (THATCHER, J.W., E.G. WAGNER & J.B. WRIGHT), More advice on structuring compilers and proving them correct, in: H.A. Maurer (ed.), Automata, languages and programming, 6th Colloquium, Springer LNCS 71 (1979), 596–615.

   Google Scholar 

4. ADJ (EHRIG, H., H.-J. KREOWSKI, J.W. THATCHER, E.G. WAGNER & J.B. WRIGHT), Parameterized data types in algebraic specification languages, in: J.W. de Bakker & J. van Leeuwen (eds.), Automata, languages and programming, 7th Colloquium, Springer LNCS (1980), 157–168.

   Google Scholar 

5. BACK, R.J., Locality in modular systems, in: M. Nielsen & E.M. Schmidt (eds.), Automata, languages and Programming, 9th Colloquium, Springer LNCS 140 (1982), 1–13.

   Google Scholar 

6. BACKUS, J., Can programming be liberated from the von Neumann style? — a functional style and its algebra of programs, CACM 21 (1978), 613–639.

   Google Scholar 

7. BACKUS, J., Is computer science based on the wrong fundamental concept of a ‘program'? An extended concept, in: J.W. de Bakker & J.C. van Vliet (eds.), Algorithmic languages, North-Holland 1981, 133–165.

   Google Scholar 

8. DE BAKKER, J.W. & J.I. ZUCKER, Denotational semantics of concurrency, Proc. 14th ACM Symp. on Theory of Computing (1982), 153–158.

   Google Scholar 

9. DE BAKKER, J.W. & J.I. ZUCKER, Processes and the denotational semantics of concurrency, Report IW 209/82, Mathematisch Centrum, 1982, to appear in Information & Control.

   Google Scholar 

10. BELL, C.G. & A. NEWELL, Computer structures: Readings and Examples, McGraw-Hill 1971.

    Google Scholar 

11. BERGSTRA, J.A. & J.W. KLOP, Fixed point semantics in process algebras, Report IW 206/82, Mathematisch Centrum, 1982.

    Google Scholar 

12. BERGSTRA, J.A. & J.W. KLOP, Process algebra for communication and mutual exclusion, Report IW 218/83, Mathematisch Centrum, 1983.

    Google Scholar 

13. BERGSTRA, J.A. & J.W. KLOP, An abstraction mechanism for process algebras, Report IW 231/83, Mathematisch Centrum, 1983.

    Google Scholar 

14. BURSTALL, R.M. & J.A. GOGUEN, The semantics of CLEAR, a specification language, in: Proc. on Abstract Software specifications, Copenhagen, Springer LNCS 86 (1980), 292–332.

    Google Scholar 

15. DEW, P.M. & J.V. TUCKER, An experimental study of a timing assumption in VLSI complexity theory, Univ. of Leeds, Dept. of Computer Studies, Report 168.

    Google Scholar 

16. GOGUEN, J.A. & J. MESEGUER, An initiality primer, in preparation.

    Google Scholar 

17. GRIES, D. (ed.), Programming methodology, Springer, Berlin 1978.

    Google Scholar 

18. HENNESSY, M., A term model for synchronous processes, Information & Control, Vol. 51, nr.1 (1981), 58–75.

    Google Scholar 

19. HOARE, C.A.R., Communicating sequential processes, C. ACM 21 (1978), 666–677.

    Google Scholar 

20. HOARE, C.A.R., S.D. BROOKES & A.W. ROSCOE, A theory of communicating sequential processes, to appear in JACM.

    Google Scholar 

21. MILNER, R., A Calculus for Communicating Systems, Springer LNCS 92, 1980.

    Google Scholar 

22. NEWELL, A., The knowledge level, Artificial Intelligence 18 (1982), 78–127.

    Google Scholar 

23. OCCAM, The OCCAM programming manual, INMOS, Bristol 1982.

    Google Scholar 

24. OLDEROG, E.R. & C.A.R. HOARE, Specification-oriented semantics for communicating processes, in: J. Díaz (ed.), Automata. languages and programming, 10th Colloquium, Springer LNCS 154 (1983), 561–572.

    Google Scholar 

25. TANENBAUM, A.S., Structured computer organisation, Prentice Hall, Englewood Cliffs, 1976.

    Google Scholar 

26. TANENBAUM, A.S., Computer networks, Prentice Hall, Englewood Cliffs, 1981.

    Google Scholar 

27. WULF, W.A., Abstract data types: a retrospective and prospective view, in: P. Dembinski (ed.), Mathematical Foundations of Computer Science 1980, Springer LNCS (1980), 94–112.

    Google Scholar 

Download references