Algebraic tools for system construction

  • J. A. Bergstra
  • J. W. Klop
  • J. V. Tucker
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 164)


Composition Operator Process Algebra Concurrent System Distribute Computer System Denotational Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    ADJ (GOGUEN, J.A., J.W. THATCHER, E.G. WAGNER & J.B. WRIGHT), Initial algebra semantics and continuous algebras Google Scholar
  2. [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. [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. [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. [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. [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. [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. [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. [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. [10]
    BELL, C.G. & A. NEWELL, Computer structures: Readings and Examples, McGraw-Hill 1971.Google Scholar
  11. [11]
    BERGSTRA, J.A. & J.W. KLOP, Fixed point semantics in process algebras, Report IW 206/82, Mathematisch Centrum, 1982.Google Scholar
  12. [12]
    BERGSTRA, J.A. & J.W. KLOP, Process algebra for communication and mutual exclusion, Report IW 218/83, Mathematisch Centrum, 1983.Google Scholar
  13. [13]
    BERGSTRA, J.A. & J.W. KLOP, An abstraction mechanism for process algebras, Report IW 231/83, Mathematisch Centrum, 1983.Google Scholar
  14. [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. [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. [16]
    GOGUEN, J.A. & J. MESEGUER, An initiality primer, in preparation.Google Scholar
  17. [17]
    GRIES, D. (ed.), Programming methodology, Springer, Berlin 1978.Google Scholar
  18. [18]
    HENNESSY, M., A term model for synchronous processes, Information & Control, Vol. 51, nr.1 (1981), 58–75.Google Scholar
  19. [19]
    HOARE, C.A.R., Communicating sequential processes, C. ACM 21 (1978), 666–677.Google Scholar
  20. [20]
    HOARE, C.A.R., S.D. BROOKES & A.W. ROSCOE, A theory of communicating sequential processes, to appear in JACM.Google Scholar
  21. [21]
    MILNER, R., A Calculus for Communicating Systems, Springer LNCS 92, 1980.Google Scholar
  22. [22]
    NEWELL, A., The knowledge level, Artificial Intelligence 18 (1982), 78–127.Google Scholar
  23. [23]
    OCCAM, The OCCAM programming manual, INMOS, Bristol 1982.Google Scholar
  24. [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. [25]
    TANENBAUM, A.S., Structured computer organisation, Prentice Hall, Englewood Cliffs, 1976.Google Scholar
  26. [26]
    TANENBAUM, A.S., Computer networks, Prentice Hall, Englewood Cliffs, 1981.Google Scholar
  27. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • J. A. Bergstra
    • 1
  • J. W. Klop
    • 1
  • J. V. Tucker
    • 2
  1. 1.Mathematical CentreAmsterdam
  2. 2.Department of Computer StudiesUniversity of LeedsLeeds

Personalised recommendations