Skip to main content
SpringerLink
Log in

Examples

  • Chapter
  • First Online:
Cause-Effect Structures

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 45))

  • 280 Accesses

Abstract

The cause-effect structures may be used to specify, or model, various kinds of state transforming dynamic systems.

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

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 16.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Brinch HP (1973) Operating system principles. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, USA

    MATH  Google Scholar 

  2. Broy M, Střlen K (2001) Abracadabra protocol, specification and development of interactive systems, Monograps in Computer Science

    Google Scholar 

  3. Barlett KA, Scantlebury RA, Wilkinson PT (1969) A note on reliable Full-duplex Transmission over Half-duplex links. Commun ACM 12(5):260–261

    Google Scholar 

  4. Comer, Douglas E (1995) Internetworking with TCP/IP, Volume 1: Principles, Protocols, and Architecture, Prentice Hall

    Google Scholar 

  5. Czaja L (2018) Introduction to distributed computer systems. Principles and features. Springer

    Google Scholar 

  6. Desel J (1985) Another Boatman story, Petri nets and related system models, Newsletter 22, October 1985

    Google Scholar 

  7. Dijkstra EW (1965) Solution of a problem in concurrent programming control. Commun ACM 8/9

    Google Scholar 

  8. Dijkstra EW (1968) In: Genuys F (ed) Co-operating sequential processes, in programming languages, Genuys edn. Academic Press, New York

    Google Scholar 

  9. Dijkstra EW (1971) Hierarchical ordering of sequential processes. Acta Inf 1:115–138

    Article  MathSciNet  Google Scholar 

  10. Habermann AN (1972) On a solution and a generalization of the cigarette smokers’ problem, Technical Report, Carnegie-Mellon Univ

    Google Scholar 

  11. Parnas DL (1972) On a solution to the cigarette smokers’ problem (without conditional ststements), Internal report

    Google Scholar 

  12. Parnas DL (1975) On a solution to the cigarette smokers’ problem (without conditional ststements), Commun ACM 18

    Article  Google Scholar 

  13. Patil SS (1971) Limitations and capabilities of Dijkstra’s semaphore primitives for coordination among processes, Project MAC, Computational Structures Group Memo 57

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Vistula University, Warsaw, Poland

    Ludwik Czaja

  2. Institute of Informatics, University of Warsaw, Warsaw, Poland

    Ludwik Czaja

Authors
  1. Ludwik Czaja
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ludwik Czaja .

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Czaja, L. (2019). Examples. In: Cause-Effect Structures. Lecture Notes in Networks and Systems, vol 45. Springer, Cham. https://doi.org/10.1007/978-3-030-20461-7_13

Download citation

Publish with us

Policies and ethics

Search

Navigation