Skip to main content
SpringerLink
Log in

Levin & Gries: Verification of CSP

  • Proof Methods For Message-Based Parallelism
  • Chapter
  • First Online:
A Survey of Verification Techniques for Parallel Programs

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

  • 143 Accesses

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.

3.3.1 References

  1. Levin, G.M. and Gries, D. A Proof Technique for Communicating Sequential Processes, Acta Informatica 15, 1981, pp. 281–302.

    Google Scholar 

  2. Levin, G.M. Proof Rules for Communicating Sequential Processes, Ph.D. thesis, Dept. of Computer Science, Cornell University, August 1980.

    Google Scholar 

Download references

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

(1985). Levin & Gries: Verification of CSP. In: A Survey of Verification Techniques for Parallel Programs. Lecture Notes in Computer Science, vol 191. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15239-3_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-15239-3_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15239-2

  • Online ISBN: 978-3-540-39416-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation