 | 1993 |
|---|
| 9 |       | Eric Shade,
K. T. Narayana:
Real-Time Semantics for Shared-Variable Concurrency
Inf. Comput. 102(1): 56-82 (1993) |
| 8 | | R. K. Shyamasundar,
K. T. Narayana,
Toniann Pitassi:
Semantics of Nondeterministic Asynchronous Broadcast Networks
Inf. Comput. 104(2): 215-252 (1993) |
| 1992 |
|---|
| 7 | | K. T. Narayana:
Observing Task Preemption in Ada 9x.
FTRTFT 1992: 107-129 |
| 1990 |
|---|
| 6 |  | K. T. Narayana,
Sanjeev Dharap:
Formal Specification of a Look Manager.
IEEE Trans. Software Eng. 16(9): 1089-1103 (1990) |
| 1988 |
|---|
| 5 | | A. A. Aaby,
K. T. Narayana:
Propositional Temporal Interval Logic is PSPACE Complete.
CADE 1988: 218-237 |
| 4 | | K. T. Narayana,
A. A. Aaby:
Specification of Real-Time Systems in Real-Time Temporal Interval Logic.
IEEE Real-Time Systems Symposium 1988: 86-95 |
| 1987 |
|---|
| 3 | | R. K. Shyamasundar,
K. T. Narayana,
Toniann Pitassi:
Semantics for Nondeterministic Asynchronous Broadcast Networks.
ICALP 1987: 72-83 |
| 1986 |
|---|
| 2 | | A. A. Aaby,
K. T. Narayana:
A Distributed Implementation Scheme for Communicating Processes.
ICPP 1986: 942-949 |
| 1979 |
|---|
| 1 | | K. T. Narayana,
V. R. Prasad,
M. Joseph:
Some Aspects of Concurrent Programmming in CCNPASCAL.
Softw., Pract. Exper. 9(9): 749-770 (1979) |
