Skip to main content
SpringerLink
Log in

A refinement of communicating processes

  • Posters
  • Conference paper
  • First Online:
PARLE '92 Parallel Architectures and Languages Europe (PARLE 1992)

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

  • 126 Accesses

Abstract

Programming MIMD multiprocessors requires to design processes mapped on the nodes of the architecture, communicating by message passing. This paper is a contribution for a rationalized design of such programs from formal specifications. For that purpose we introduce a refinement calculus of parallel specifications in which processes refine safety properties and communications refine liveness ones.

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

References

  1. R.J. Back: Stepwise refinement of actions systems; LNCS 375, 1989.

    Google Scholar 

  2. K. Chandy, J. Misra: Parallel Program Design: a Foundation; Prentice Hall, 1988.

    Google Scholar 

  3. S. Damy, G.R. Perrin: Techniques for the design of communicating Processes; 6th International Workshop on Software Specification and Design, Como, 1991.

    Google Scholar 

  4. E.W. Dijkstra: A discipline of programming. Prentice-Hall, 1976.

    Google Scholar 

  5. P.E. Gribomont: Development of concurrent systems by incremental transformation; Research Report, Philips, Brussels, 1990.

    Google Scholar 

  6. C. Hoare: Communicating Sequential Processes; CACM, 21, 8, 1978.

    Google Scholar 

  7. E. Knapp: An exercise in the formal derivation of parallel programs: maximum flows in graphs; ACM TOPLAS, 12, 2, 1990.

    Article  Google Scholar 

  8. C. Morgan: Types and invariants in the refinement calculus; LNCS 375, 1989.

    Google Scholar 

  9. J.M. Morris: A theorical basis for stepwise refinement and the programming calculus; SCP, 9(3), 1987.

    Google Scholar 

  10. N. Wirth: Program Development by Stepwise Refinement. CACM, 14, 4, 1971.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d'Informatique, University of Franche-Comté, 25030, Besançon cedex, France

    Sylvie Damy & Guy-René Perrin

Authors
  1. Sylvie Damy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guy-René Perrin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Daniel Etiemble Jean-Claude Syre

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Damy, S., Perrin, GR. (1992). A refinement of communicating processes. In: Etiemble, D., Syre, JC. (eds) PARLE '92 Parallel Architectures and Languages Europe. PARLE 1992. Lecture Notes in Computer Science, vol 605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55599-4_136

Download citation

  • DOI: https://doi.org/10.1007/3-540-55599-4_136

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55599-5

  • Online ISBN: 978-3-540-47250-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation