Static analysis of real-time distributed systems

  • Leo YuHsiang Liu
  • R. K. Shyamasundar
Session 3 - Work In Progress
Part of the Lecture Notes in Computer Science book series (LNCS, volume 331)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Apt, K. R., Proving Correctness of CSP Programs — A Tutorial, Control Flow and Data Flow Concepts of Distributed Programs, Edited by M. Broy, 1984, 441–474.Google Scholar
  2. 2.
    Apt, K. R., A Static Analysis of CSP Programs, LNCS 164, 1984, 1–17.Google Scholar
  3. 3.
    Berry, G., Moisan, S. and Rigault, J., ESTEREL: Toward a Synchronous and Semantically Sound High Level Language for Real Time Applications, IEEE Real-Time Systems Symp., 1983, 30–37.Google Scholar
  4. 4.
    Berry, G. and Cosserat, L., The ESTEREL Synchronous Programming Language and its Mathematical Semantics, LNCS 197 (1984), 389–448.Google Scholar
  5. 5.
    Hoare, C. A. R., Communicating Sequential Processes, Comm. of the ACM 21, 8 (Aug. 1978), 666–677.CrossRefGoogle Scholar
  6. 6.
    Jahanian, F. and Mok, A. K., A Graph-Theoretic Approach for Timing Analysis in Real Time Logic, IEEE Real-Time Systems Symp., 1986, 98–108.Google Scholar
  7. 7.
    Jahanian, F. and Mok, A. K., A Graph-Theoretic Approach for Timing Analysis and its Implementation, IEEE Transaction on Computers C-36 (Aug. 1987), 961–975.Google Scholar
  8. 8.
    Koymans, R., Shyamasundar, R. K., de Roever, W. P., Gerth, R. and Arun-Kumar, S., Compositional Semantics for Real-Time Distributed Computing, Proc. Logics of Programs, LNCS 193 (Extended full version to appear in Information and Computation), 1985.Google Scholar
  9. 9.
    Liu, L. Y. and Shyamasundar, R. K., Specification of Real-Time Programs in RT-CDL, IEEE Fourth Workshop on Real-Time Operating Systems, Cambridge, MA., July 1987, 110–119.Google Scholar
  10. 10.
    Liu, L. Y. and Shyamasundar, R. K., Temporal Behaviors for Real-Time Distributed Systems, Technical Report, Penn. State University, CS-87-38, University Park, PA 16802, Dec. 1987.Google Scholar
  11. 11.
    Liu, L. Y. and Shyamasundar, R. K., Programming for Real-Time Reliable Reactive Systems, Technical Report, Penn. State University, University Park, PA 16802, 1988.Google Scholar
  12. 12.
    Ostroff, J. S., Real-Time Computer Control of Discrete Systems Modelled by Extended State Machine: A Temporal Logic Approach, Technical Report, University of Toronto, Jan. 1987.Google Scholar
  13. 13.
    Pitassi, T., Narayana, K. T. and Shyamasundar, R. K., A Compositional Denotational Semantics for Occam, Penn. State University CS-86-19, June, 1986.Google Scholar
  14. 14.
    Pnueli, A., Specification and Development of Reactive Systems, Information Processing 86, H.J. Kugler (ed.), 1986, 845–858.Google Scholar
  15. 15.
    Pnueli, A., Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends, LNCS 224, 1986, 511–584.Google Scholar
  16. 16.
    Salwicki, A. and Muldner, T., On the Algorithmic Properties of Concurrent Programs, LNCS 125, 1981.Google Scholar
  17. 17.
    Shyamasundar, R. K., Narayana, K. T. and Pitassi, T., Semantics for Nondeterministic Asynchronous Broadcast Networks, 14th International Colloquim on Automata, Languages and Programming, Karlshruhe, July, 1987.Google Scholar
  18. 18.
    Shyamasundar, R. K., Hooman, J. and Gerth, R., Proof Systems for Real-Time Distributed Programming, Penn. State University CS-87-19, June, 1987.Google Scholar
  19. 19.
    Taylor, R. N., A General-Purpose Algorithm for Analyzing Concurrent Programs, Comm. of the ACM 26 (May 1983), 362–376.CrossRefGoogle Scholar
  20. 20.
    Wolper, P., Temporal Logic Can Be More Expressive, Information and Control 56 (1983), 72–99.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Leo YuHsiang Liu
    • 1
  • R. K. Shyamasundar
    • 1
  1. 1.333 Whitmore Laboratory Department of Computer ScienceThe Pennsylvania State UniversityUniversity ParkU.S.A.

Personalised recommendations