Language peer sets for RT-CDL:
Designed 1989 ↑
1980s languages ↑
Late Cold War↑
alternate simple view
Country: United States
for Real-Time Common Design Language.
Liu and Shyamasundar, Pennsylvania State University 1986-93
Real-time language for the design of reliable reactive systems, inspired by Esterel
Liu, L. (1987) 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.
L Y H Liu and R. K. Shyamasundar (1988) L Y H Liu and R. K. Shyamasundar "Static analysis of real-time distributed systems" Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems Warwick, United Kingdom 1988
pp134-141 Springer-Verlag New York, Inc
Liu, L. (1988) Liu, L. Y. and Shyamasundar. R. K., Programming for Real-Time Reliable Reactive Systems, Technical Report, Penn. State University, University Park, PA 16802, 1988.
Liu, L. (1988) Liu, L. Y. and Shyamasundar. R. K., Static Detection for Deadlocks, Distributed Terminations, and Timing Errors of Real-Time Distributed Programs, Technical Report, Penn. State University, University Park, PA 16802 , 1988.
Liu, L. Y. H. and Shyamasundar, R. K. (1989) Liu, L. Y. H. and Shyamasundar, R. K. "An operational semantics of real time design language RT-CDL" Proceedings of the 5th International Workshop on Software Specifications & Design Pittsburgh, Pennsylvania, United States 1989 pp75-82
Motivation and Related Work
Liu, L.Y. et al, (1989) Liu, L.Y. et al, "RT-CDL: A Real-Time Description Language and Its Semantics", pp.19-26
in (1989) 11th World Computer Congress IFIP '89 (Sep 1989)
Liu, L. Y. and R. K. Shyamasundar (1990) Liu, L. Y. and R. K. Shyamasundar "Exception handling in RT-CDL"
in (1990) Computer Languages 15(3)
Liu, L. Y. and R. K. Shyamasundar (1994). (1994) Liu, L. Y. and R. K. Shyamasundar (1994). "RT-CDL: A distributed real-time design language and its operational semantics."
in (1994) Computer Languages 20(1)