Analysis of concurrent algorithms

  • Jørgen Staunstrup
Systematic Design, Development, And Verification Of Parallel Algorithms
Part of the Lecture Notes in Computer Science book series (LNCS, volume 111)


Analyzing the running time of a concurrent algorithm can be as important as verifying its partial correctness or termination. A simple technique for analyzing the running time of a concurrent algorithm is presented. To analyze an algorithm with concurrent processes, the interaction between the processes must be considered. This is done by using the communication sequences of the processes as the basis of the analysis. The technique is used for analyzing and comparing three concurrent algorithms for finding the root of a real function.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Aho, Hopcroft, and Ullman 1974]
    The Design and Analysis of Computer Algorithms, A.V. Aho, J.E. Hopcroft and J.D. Ullman, Addison Wesley 1974.Google Scholar
  2. [Feller 1950]
    An Introduction to Probability Theory and its Applications, W. Feller, John Wiley and Sons 1950.Google Scholar
  3. [Knuth 1968]
    The Art of Computer Programming I–III, D.E. Knuth, Addison Wesley 1968.Google Scholar
  4. [Kung 1976]
    Synchronized and Asynchronous Algorithms, H. T. Kung in Algorithms and Complexity, J.F. Traub (ed.) Academic Press 1976.Google Scholar
  5. [Staunstrup 1978]
    Specification, Verification, and Implementation of Concurrent Programs, University of Southern California, Los Angeles 1978.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Jørgen Staunstrup
    • 1
  1. 1.Computer Science DepartmentAarhus University Ny MunkegadeAarhus C

Personalised recommendations