dblp.uni-trier.dewww.uni-trier.de

K. T. Narayana Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
6EEK. T. Narayana, Sanjeev Dharap: Formal Specification of a Look Manager. IEEE Trans. Software Eng. 16(9): 1089-1103 (1990)
1988
5EEA. 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
3EER. 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)

Coauthor Index

1A. A. Aaby [2] [4] [5]
2Sanjeev Dharap [6]
3M. Joseph [1]
4Toniann Pitassi [3] [8]
5V. R. Prasad [1]
6Eric Shade [9]
7R. K. Shyamasundar [3] [8]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)