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)