K. T. Narayana

12 papers A* 1A 2B 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
1993 J jnl
Real-Time Semantics for Shared-Variable Concurrency
Inf. Comput.
Eric Shade, K. T. Narayana
1993 J jnl
Semantics of Nondeterministic Asynchronous Broadcast Networks
Inf. Comput.
R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi
1992 — conf
Observing Task Preemption in Ada 9x.
FTRTFT
K. T. Narayana
1990 J jnl
Formal Specification of a Look Manager.
IEEE Trans. Software Eng.
K. T. Narayana, Sanjeev Dharap
1990 — conf
Invariant properties in a dialog system.
Formal Methods in Software Development
K. T. Narayana, Sanjeev Dharap
1988 A conf
Propositional Temporal Interval Logic is PSPACE Complete.
CADE
A. A. Aaby, K. T. Narayana
1988 A conf
Specification of Real-Time Systems in Real-Time Temporal Interval Logic.
RTSS
K. T. Narayana, A. A. Aaby
1987 A* conf
Semantics for Nondeterministic Asynchronous Broadcast Networks.
ICALP
R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi
1986 B conf
A Distributed Implementation Scheme for Communicating Processes.
ICPP
A. A. Aaby, K. T. Narayana
1982 — —
Semantics of a synchronous parallel programming language.
K. T. Narayana
1981 J jnl
On the formal treatment of a permutation finding program.
ACM SIGPLAN Notices
K. T. Narayana, Maurice Clint
1979 J jnl
Some Aspects of Concurrent Programmming in CCNPASCAL.
Softw. Pract. Exp.
K. T. Narayana, V. R. Prasad, Mathai Joseph