Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees | SpringerLink
Skip to main content
Springer Nature Link
Log in

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

  • Conference paper
  • First Online:
International Symposium on Programming (Programming 1984)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 167))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. Reference manual for the ADA programming language ANSI/MIL-STD 1815A (Jan. 1983)

    Google Scholar 

  2. G. ANDREWS, F. SCHNEIDER. "Concepts and notations for concurrent programming". TR 82-530. Cornell University. Septembre 1982

    Google Scholar 

  3. C. BETOURNE, L. FERAUD, J. JOULIA, J. M. RIGAUD. Manuel de référence du langage LEST. Rapport LSI No 134 Octobre 1979

    Google Scholar 

  4. 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 — 1983

    Google Scholar 

  5. COURTOIS & Alt. "Concurrent control with readers and Writers". CACM 14, 10 October 1971, pp 667–668

    Google Scholar 

  6. A.N. HABERMANN, Path expressions, Technical report, Carnegie Melon University, Juin 1975

    Google Scholar 

  7. C. HEWITT, H. BAKER. "Actors and continuous functionals". Formal Description of Programming Concepts, E.I. Neuhold (ed.). North Holland Publishing Company. 1978

    Google Scholar 

  8. C. HEWITT, H. BAKER. "Laws for communicating parallel processes". Information processing 77, B.G.H. CHRIST, Editor IFIP, North Holland Publishing Company. 1977

    Google Scholar 

  9. C. HEWITT, R. ATKINSON. "Specification and proof techniques for serializers". IEEE transactions of software engineering. January 1979 pp 10–13

    Google Scholar 

  10. C.A.R. HOARE. "Monitors, an operating structured concept". CACM 17.10 October 1974, pp 549–557

    Google Scholar 

  11. J.L.W. KESSELS. "An alternative to event queues for synchronization in Monitors". CACM 20,7 July 1977, pp 500–503

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire Langages et Systèmes Informatiques, Université Paul Sabatier, 118, Route de Narbonne, 31062, Toulouse Cedex

    H. Bahsoun, C. Bétourné & L. Féraud

Authors
  1. H. Bahsoun
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. Bétourné
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. L. Féraud
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Paul B. Robinet

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bahsoun, H., Bétourné, C., Féraud, L. (1984). Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees. In: Paul, M., Robinet, B. (eds) International Symposium on Programming. Programming 1984. Lecture Notes in Computer Science, vol 167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12925-1_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-12925-1_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12925-7

  • Online ISBN: 978-3-540-38809-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation