Advertisement

Compositionality in real-time shared variable concurrency

  • F. S. de Boer
  • H. Tej
  • W. -P. de Roever
  • M. van Hulst
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1135)

Keywords

Shared Memory Operational Semantic Proof System Parallel Composition Correctness Proof 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AL]
    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. [AD]
    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. [BHRR]
    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. [BB]
    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. [BG]
    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. [B]
    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. [BKPR]
    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. [CAM]
    L. Chen, S. Anderson and F. Moller, A Timed Calculus of Commnunating Systems, Technical Report LFCS-90-127, University of Eidinburgh.Google Scholar
  9. [GBGM]
    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. [H]
    N. Halbwachs. Synchronous Programming of Reactive Systems. Kluiver, 1993.Google Scholar
  11. [HMP]
    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. [Ho]
    J. Hooman, Specification and compositional verification of real time systems, LNCS 558, Springer-Verlag, 1991.Google Scholar
  13. [J]
    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]
    L. Lamport, A fast mutual exclusion algorithm, ACM Transactions on Computer Systems, Vol. 5, pages 1–11, 1987.Google Scholar
  15. [LG]
    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 1991Google Scholar
  16. [LV]
    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. [NS]
    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. [ORS]
    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. [SBM]
    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. [SDJRRR]
    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. [WD]
    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. [XJ]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • F. S. de Boer
    • 1
  • H. Tej
    • 2
  • W. -P. de Roever
    • 2
  • M. van Hulst
    • 3
  1. 1.Department of Computer ScienceRijks Universiteit UtrechtTB UtrechtThe Netherlands
  2. 2.Institut für Informatik und Praktische Mathematik IIChristian-Albrechts-Universität zu KielKielGermany
  3. 3.Lucent TechnologiesHilversumThe Netherlands

Personalised recommendations