Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

FTRTFT 1996: Formal Techniques in Real-Time and Fault-Tolerant Systems pp 420–439Cite as

Compositionality in real-time shared variable concurrency

  • Conference paper
  • First Online:

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Abadi and L. Lamport, An old-fashioned receipe for real time, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 1–27, Springer-Verlag 1991.

    Google Scholar 

  2. R. Alur and D. Dill, The Theory of Timed Automata, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 45–73, Springer-Verlag 1991.

    Google Scholar 

  3. J.W. de Bakker, C. Huizing, W.P. de Roever and G. Rozenberg, Real Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 1991, Proceedings, Springer-Verlag.

    Google Scholar 

  4. A. Benveniste and G. Berry. The synchronous approach to Reactive and Real-Time Systems. Proc. IEEE, Vol. 79, no. 9, Sept. 1991.

    Google Scholar 

  5. G. Berry, G. Gonthier. The ESTEREL synchronous programming language: desigm, sementics, implimentation. Science of Computer Programming, 19(2): pp. 87–152, 1992.

    Google Scholar 

  6. F.S. de Boer, Compositionality in the Inductive Assertion Method for Concurrent Systems. In TC2 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94), pages 282–302.

    Google Scholar 

  7. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten, The Failure of Failures: Towards a Paradigm for Asynchronous Communication. In Proceedings of Concur '91, LNCS 527:111–126, Amsterdam, The Netherlands, 1991.

    Google Scholar 

  8. L. Chen, S. Anderson and F. Moller, A Timed Calculus of Commnunating Systems, Technical Report LFCS-90-127, University of Eidinburgh.

    Google Scholar 

  9. P.Le Guernic, M. Le Borgne, T. Gauthier and C. Le Maire. Programming real-time applications with SIGNAL. Another look at Real-Time Programming. Proc. IEEE, special Issue, Sept. 1991.

    Google Scholar 

  10. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluiver, 1993.

    Google Scholar 

  11. T.A. Henzinger, Z. Manna and A. Pnueli, Timed Transition Systems, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 226–251, Springer-Verlag 1991.

    Google Scholar 

  12. J. Hooman, Specification and compositional verification of real time systems, LNCS 558, Springer-Verlag, 1991.

    Google Scholar 

  13. C.B. Jones, Tentative steps towards a development method for interfering programs, ACM Transactions on Programming Languages and Systems, 5(4), pages 596–619, 1983.

    Google Scholar 

  14. L. Lamport, A fast mutual exclusion algorithm, ACM Transactions on Computer Systems, Vol. 5, pages 1–11, 1987.

    Google Scholar 

  15. I. Lee and R. Gerber, Specification and Analysis of Resource-Bound Real-Time Systems, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 371–396, Springer-Verlag 1991

    Google Scholar 

  16. N. Lynch and F. Vaandrager, Forward and Backward Simulation for Timing-Based Systems, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 397–446, Springer-Verlag 1991.

    Google Scholar 

  17. X. Nicollin and J. Sifakis, From ATP to Timed Graphs and Hybrid Systems, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 526–548, Springer-Verlag 1991.

    Google Scholar 

  18. S. Owre, J. Rushby and N. Shankar. PVS: A Prototype Verification System. In 1th Conference on Automated Deduction, Lecture Notes in Artificial Intelligence. LNCS 607, pages 748–752, Springer-Verlag 1992.

    Google Scholar 

  19. F. Schneider, B. Bloom, and K. Marzullo, Putting time into proof outlines, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 618–639, Springer-Verlag 1991.

    Google Scholar 

  20. S. Schneider, J. Davies, D.M. Jackson, G.M. Reed, J.N. Reed and A.W. Roscoe, Timed CSP: Theory and Practice, In REX Workshop on Real-time: Theory in practice. LNCS 600, pages 640–675, Springer-Verlag 1991.

    Google Scholar 

  21. J.C.P. Woodcock and B. Dickinson, Using VDM with Rely and Guarantee Conditions, In R. Bloomfield, L. Marshall, and R. Jones, editors, LNCS 328: Proceedings of VDM '88, The Way Ahead, pages 434–458. Springer-Verlag.

    Google Scholar 

  22. Q. Xu and H. Jifeng, A Theory of State-Based Parallel Programming: Part i. In J. Morris, editor, Proc. 4th. BCS-FACS Refinement Workshop, pages 326–359. Springer-Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Rijks Universiteit Utrecht, P.O. Box 80.089, 3508, TB Utrecht, The Netherlands

    F. S. de Boer

  2. Institut für Informatik und Praktische Mathematik II, Christian-Albrechts-Universität zu Kiel, Preusserstrasse 1-9, 24105, Kiel, Germany

    H. Tej & W. -P. de Roever

  3. Lucent Technologies, Larenseweg 50, Hilversum, The Netherlands

    M. van Hulst

Authors
  1. F. S. de Boer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. Tej
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. W. -P. de Roever
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. M. van Hulst
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bengt Jonsson Joachim Parrow

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

de Boer, F.S., Tej, H., de Roever, W.P., van Hulst, M. (1996). Compositionality in real-time shared variable concurrency. In: Jonsson, B., Parrow, J. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1996. Lecture Notes in Computer Science, vol 1135. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61648-9_54

Download citation

  • DOI: https://doi.org/10.1007/3-540-61648-9_54

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61648-1

  • Online ISBN: 978-3-540-70653-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation