Parallelism in ADA: Program design and meaning

  • Brian H. Mayoh
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 83)


The art of designing parallel programs is underdeveloped because we do not understand parallelism clearly. This paper suggests a programming methodology and it gives a precise definition of the ADA form of parallelism. The methodology is based on ideas of Milner and it can be used when designing parallel programs in languages other than ADA.


  1. ADA (1979a) Preliminary ADA reference manual. SIGPLAN Notices 14 no. 6, part A.Google Scholar
  2. ADA (1979b) Rational for the design of the ADA programming language. SIGPLAN Notices 14 no. 6, part B.Google Scholar
  3. Campbell R.H., Habermann, A.N. (1974): "The specification of process synchronization by path expressions". Springer Lecture Notes 16.Google Scholar
  4. Francez, N., Hoare, C.A.R., Lehmann, D.J., De Roever, W.P. (1979): "Semantics of Nondeterminism, Concurrency, and Communication". J. Comp. Sys. Sci. 19, pp. 290–308.Google Scholar
  5. Ginsburg, S. (1977): "The Mathematical Theory of Context Free Languages". McGraw Hill, p. 108.Google Scholar
  6. Hoare, C.A.R. (1979): A model for communicating sequential processes. Program Research Group preprint, Oxford University.Google Scholar
  7. Mayoh, B.H. (1979): "Parallelism in ADA", DAIMI PB-103, Aarhus University.Google Scholar
  8. Milner, R. (1978): "An Algebraic Theory for Synchronization". Springer Lecture Notes 67.Google Scholar
  9. Shaw, A.C. (1978): "Software Descriptions with Flow Expressions". IEEE Trans. Software Engineering Se-4 no. 3.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Brian H. Mayoh
    • 1
  1. 1.Computer Science DepartmentAarhus University, Ny MunkegadeAarhus CDenmark

Personalised recommendations