Development of concurrent programs: An example

  • E. Pascal Gribomont
Part of the Lecture Notes in Computer Science book series (LNCS, volume 352)


Concurrent programming is usually considered as a difficult task. This common opinion is investigated, while developing an example of concurrent system. The conclusion is that the difficulty of programming does not lie in concurrency, provided that adequate formal tools are used. These tools must not be more difficult than those used in sequential programming.


  1. [1]
    K.M. CHANDY and J. MISRA, “Parallel Program Design: A Foundation”, Addison-Wesley, 1988.Google Scholar
  2. [2]
    E.W. DIJKSTRA, “A discipline of programming”, Prentice Hall, New Jersey, 1976.Google Scholar
  3. [3]
    E.W. DIJKSTRA and al., “On-the-Fly Garbage Collection: An Exercise in Cooperation”, CACM, vol. 21, pp. 966–975, 1978.Google Scholar
  4. [4]
    E.P. GRIBOMONT, “Méthode progressive de synthèse et de vérification de programmes parallèles”, Thèse de doctorat, Université de Liège, 1985.Google Scholar
  5. [5]
    D. GRIES, “The Science of Programming”, Springer-Verlag, Berlin, 1981.Google Scholar
  6. [6]
    C.A.R. HOARE, “Communicating Sequential Processes”, CACM, vol. 21, pp. 666–677, 1978.Google Scholar
  7. [7]
    C.A.R. HOARE, “Communicating Sequential Processes”, Prentice-Hall, 1985.Google Scholar
  8. [8]
    L. LAMPORT, “An Assertional Correctness Proof of a Distributed Algorithm”, Science of Computer Programming, vol. 2, pp. 175–206, 1983.CrossRefGoogle Scholar
  9. [9]
    G. RICART and A.K. AGRAWALA, “An optimal algorithm for mutual exclusion”, CACM, vol. 24, pp. 9–17, 1981 (corr. vol. 24, p. 578).Google Scholar
  10. [10]
    J. SIFAKIS, “A unified approach for studying the properties of transition systems”, Theoretical Computer Science, vol. 18, pp. 227–259, 1982.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • E. Pascal Gribomont
    • 1
  1. 1.Philips Research LaboratoryBrusselsBelgium

Personalised recommendations