This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
References
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.
Apt, K. R., A Static Analysis of CSP Programs, LNCS 164, 1984, 1–17.
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.
Berry, G. and Cosserat, L., The ESTEREL Synchronous Programming Language and its Mathematical Semantics, LNCS 197 (1984), 389–448.
Hoare, C. A. R., Communicating Sequential Processes, Comm. of the ACM 21, 8 (Aug. 1978), 666–677.
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.
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.
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.
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.
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.
Liu, L. Y. and Shyamasundar, R. K., Programming for Real-Time Reliable Reactive Systems, Technical Report, Penn. State University, University Park, PA 16802, 1988.
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.
Pitassi, T., Narayana, K. T. and Shyamasundar, R. K., A Compositional Denotational Semantics for Occam, Penn. State University CS-86-19, June, 1986.
Pnueli, A., Specification and Development of Reactive Systems, Information Processing 86, H.J. Kugler (ed.), 1986, 845–858.
Pnueli, A., Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends, LNCS 224, 1986, 511–584.
Salwicki, A. and Muldner, T., On the Algorithmic Properties of Concurrent Programs, LNCS 125, 1981.
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.
Shyamasundar, R. K., Hooman, J. and Gerth, R., Proof Systems for Real-Time Distributed Programming, Penn. State University CS-87-19, June, 1987.
Taylor, R. N., A General-Purpose Algorithm for Analyzing Concurrent Programs, Comm. of the ACM 26 (May 1983), 362–376.
Wolper, P., Temporal Logic Can Be More Expressive, Information and Control 56 (1983), 72–99.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, L.Y., Shyamasundar, R.K. (1988). Static analysis of real-time distributed systems. In: Joseph, M. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1988. Lecture Notes in Computer Science, vol 331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50302-1_9
Download citation
DOI: https://doi.org/10.1007/3-540-50302-1_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50302-6
Online ISBN: 978-3-540-45965-1
eBook Packages: Springer Book Archive