K. T. Narayana

According to our database, K. T. Narayana authored at least 11 papers between 1979 and 1993.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1993

Real-Time Semantics for Shared-Variable Concurrency

Eric Shade, K. T. Narayana

Inf. Comput., January, 1993

1992

Observing Task Preemption in Ada 9x.

K. T. Narayana

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1990

Formal Specification of a Look Manager.

K. T. Narayana, Sanjeev Dharap

IEEE Trans. Software Eng., 1990

Invariant properties in a dialog system.

K. T. Narayana, Sanjeev Dharap

Proceedings of the Conference proceedings on Formal methods in software development, 1990

1988

Specification of Real-Time Systems in Real-Time Temporal Interval Logic.

K. T. Narayana, A. A. Aaby

Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

Propositional Temporal Interval Logic is PSPACE Complete.

A. A. Aaby, K. T. Narayana

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Semantics for Nondeterministic Asynchronous Broadcast Networks.

R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1986

A Distributed Implementation Scheme for Communicating Processes.

A. A. Aaby, K. T. Narayana

Proceedings of the International Conference on Parallel Processing, 1986

1982

Semantics of a synchronous parallel programming language.

K. T. Narayana

PhD thesis, 1982

1981

On the formal treatment of a permutation finding program.

K. T. Narayana, Maurice Clint

ACM SIGPLAN Notices, 1981

1979

Some Aspects of Concurrent Programmming in CCNPASCAL.

K. T. Narayana, V. R. Prasad, Mathai Joseph

Softw. Pract. Exp., 1979