Skip to main content
SpringerLink
Log in

Concurrency in software systems

  • Chapter 2: Descriptional Tools
  • Chapter
  • First Online:
Software Engineering

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

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.

7. References

  1. C. A. Petri, Communication With Automata. Supplement 1 to Technical Report RADC-TR-65-377, Vol. 1, Griffiss Air Force Base, New York 1966. [Originally published in German: Kommunikation mit Automaten, University of Bonn, 1962.]

    Google Scholar 

  2. A. W. Holt and F. Commoner, Events and conditions. Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, ACM, New York 1970, pp 3–52.

    Google Scholar 

  3. A. W. Holt, F. Commoner, S. Even, and A. Pnueli, Marked directed graphs. J. of Computer and System Sciences, Vol. 5 (1971), pp 511–523.

    Google Scholar 

  4. S. S. Patil, Closure properties of interconnections of determinate systems. Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, ACM, New York 1970, pp 107–116.

    Google Scholar 

  5. E. W. Dijkstra, Co-operating sequential processes. Programming Languages, F. Genuys, Ed., Academic Press, New York 1968. [First published as Report EWD 123, Department of Mathematics, Technological University, Eindhoven, The Netherlands, 1965.]

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Massachusetts Institute of Technology, Cambridge, Massachusetts, USA

    Jack B. Dennis

Authors
  1. Jack B. Dennis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

F. L. Bauer J. B. Dennis W. M. Waite C. C. Gotlieb R. M. Graham M. Griffiths H. J. Helms B. Morton P. C. Poole D. Tsichritzis

Rights and permissions

Reprints and permissions

Copyright information

© 1975 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Dennis, J.B. (1975). Concurrency in software systems. In: Bauer, F.L., et al. Software Engineering. Lecture Notes in Computer Science, vol 30. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07168-7_76

Download citation

  • DOI: https://doi.org/10.1007/3-540-07168-7_76

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07168-6

  • Online ISBN: 978-3-540-37502-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation