Advertisement

Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees

  • H. Bahsoun
  • C. Bétourné
  • L. Féraud
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 167)

Keywords

North Holland Publishing Company Nous Allons Condition Dart Nous Donnons Finsi Versus 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. [ANS 83]
    Reference manual for the ADA programming language ANSI/MIL-STD 1815A (Jan. 1983)Google Scholar
  2. [AS 83]
    G. ANDREWS, F. SCHNEIDER. "Concepts and notations for concurrent programming". TR 82-530. Cornell University. Septembre 1982Google Scholar
  3. [BFJR 79]
    C. BETOURNE, L. FERAUD, J. JOULIA, J. M. RIGAUD. Manuel de référence du langage LEST. Rapport LSI No 134 Octobre 1979Google Scholar
  4. [BAH 83]
    H. BAHSOUN. "Une expression du contrôle des objects partagés: le Module Contrôlé par Priorité". Thèse de 3ème cycle. Laboratoire LSI. Université Paul Sabatier — Toulouse — 1983Google Scholar
  5. [COU 71]
    COURTOIS & Alt. "Concurrent control with readers and Writers". CACM 14, 10 October 1971, pp 667–668Google Scholar
  6. [HAB 75]
    A.N. HABERMANN, Path expressions, Technical report, Carnegie Melon University, Juin 1975Google Scholar
  7. [HB 78]
    C. HEWITT, H. BAKER. "Actors and continuous functionals". Formal Description of Programming Concepts, E.I. Neuhold (ed.). North Holland Publishing Company. 1978Google Scholar
  8. [HB 77]
    C. HEWITT, H. BAKER. "Laws for communicating parallel processes". Information processing 77, B.G.H. CHRIST, Editor IFIP, North Holland Publishing Company. 1977Google Scholar
  9. [HEW 79]
    C. HEWITT, R. ATKINSON. "Specification and proof techniques for serializers". IEEE transactions of software engineering. January 1979 pp 10–13Google Scholar
  10. [HOA 74]
    C.A.R. HOARE. "Monitors, an operating structured concept". CACM 17.10 October 1974, pp 549–557Google Scholar
  11. [KESS 77]
    J.L.W. KESSELS. "An alternative to event queues for synchronization in Monitors". CACM 20,7 July 1977, pp 500–503Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • H. Bahsoun
    • 1
  • C. Bétourné
    • 1
  • L. Féraud
    • 1
  1. 1.Laboratoire Langages et Systèmes InformatiquesUniversité Paul SabatierToulouse Cedex

Personalised recommendations