Skip to main content
SpringerLink
Log in

A proof system for partial correctness of dynamic networks of processes

Extended abstract

  • Conference paper
  • First Online:
Logics of Programs (Logic of Programs 1983)

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

Included in the following conference series:

Abstract

We introduced a formal proof system for dynamic networks of processes, which has been shown to be sound. Future work will consider the completeness of the system.

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.

References

  1. Apt, K.R., Francez, N. and de Roever, W.P. "A proof System for Communicating Sequential Processes" TOPLAS 2,3. July 1980.

    Google Scholar 

  2. Chen, Z.C. and Hoare, C.A.R. "Partial Correctness of Communicating Sequential Processes." 2nd International Conference on Distributed Computer Systems, IEEE 1981, 1–12.

    Google Scholar 

  3. Misra, J. and Chandy, K.M. "Proofs of Networks of Processes", IEEE Transactions on Software Engineering, July 1981.

    Google Scholar 

  4. Soundararajan, N. and Dahl, O.J. "Partial Correctness Semantics of Communicating Sequential Processes"

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Nijmegen, Toernooiveld, 6525 ED, Nijmegen, the Netherlands

    Job Zwiers

  2. Faculty of Economics, Erasmus University, P.O. Box 1738, 3000 DR, Rotterdam, the Netherlands

    Arie de Bruin

  3. Department of Computer Science, University of Nijmegen, the Netherlands

    Willem Paul de Roever

  4. Department of Computer Science, University of Utrecht, P.O. Box 80.002, 3508 TA, Utrecht, the Netherlands

    Willem Paul de Roever

Authors
  1. Job Zwiers
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Arie de Bruin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Willem Paul de Roever
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Edmund Clarke Dexter Kozen

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zwiers, J., de Bruin, A., de Roever, W.P. (1984). A proof system for partial correctness of dynamic networks of processes. In: Clarke, E., Kozen, D. (eds) Logics of Programs. Logic of Programs 1983. Lecture Notes in Computer Science, vol 164. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12896-4_384

Download citation

  • DOI: https://doi.org/10.1007/3-540-12896-4_384

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12896-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation