Some Aspects of Concurrent Programmming in CCNPASCAL. - K. T. Narayana; V. R. Prasad; Mathai Joseph (Softw. Pract. Exp., 1979)

On the formal treatment of a permutation finding program. - K. T. Narayana; Maurice Clint (ACM SIGPLAN Notices, 1981)

Semantics of a synchronous parallel programming language. - K. T. Narayana (1982)

A Distributed Implementation Scheme for Communicating Processes. - A. A. Aaby; K. T. Narayana (ICPP, 1986)

Propositional Temporal Interval Logic is PSPACE Complete. - A. A. Aaby; K. T. Narayana (CADE, 1988)

Specification of Real-Time Systems in Real-Time Temporal Interval Logic. - K. T. Narayana; A. A. Aaby (RTSS, 1988)

Invariant properties in a dialog system. - K. T. Narayana; Sanjeev Dharap (Formal Methods in Software Development, 1990)

Formal Specification of a Look Manager. - K. T. Narayana; Sanjeev Dharap (IEEE Trans. Software Eng., 1990)

Observing Task Preemption in Ada 9x. - K. T. Narayana (FTRTFT, 1992)

Real-Time Semantics for Shared-Variable Concurrency - Eric Shade; K. T. Narayana (Inf. Comput., 1993)

Semantics of Nondeterministic Asynchronous Broadcast Networks - R. K. Shyamasundar; K. T. Narayana; Toniann Pitassi (Inf. Comput., 1993)