Programming Languages: Semantics, Design and Tools

• RK Shyamasundar and L.Y. Liu, RT-CDL: A distributed real-time design language and its operational semantics , Computer Languages, 20, 1, pp. 1-23, 1994.
• K. Lodaya, and RK Shyamasundar, Proof Theory of Exception Handling in a Tasking Environment, Acta Informatica, 28, pp. 7-41, 1990.
• LY Liu and RK Shyamasundar Exception Handling in RT-CDL, Computer Languages, Vol. 15, No. 3, pp. 177-192, 1990.
• RK Shyamasundar and JW Thatcher Language Constructs for Specifying Concurrency in CDL IEEE Transactions on Software Engineering, Vol 15, 8, pp 977-993, August 1989
• LY Liu and RK Shyamasundar, RT-CDL: a Real-Time Design Language and its Semantics , 11th World Computer Congress, IFIP 89, San Franscisco, August 1989, pp. 21-26.
• RK Shyamasundar, J Hooman and R. Gerth Reasoning of Real-Time Distributed Programming Languages , 5th ACM International Workshop on Software Specification and Design, Pittsburgh, May 1989, pp. 91-99.
• LY Liu and RK Shyamasundar, An operational semantics of RT-CDL , 5th ACM International Workshop on Software Specification and Design, Pittsburgh, May 1989, pp. 75-82.