Travelled to:1 × Germany
1 × USA
Collaborated with:A.A.Aaby R.K.Shyamasundar T.Pitassi
Talks about:nondeterminist (1) broadcast (1) asynchron (1) proposit (1) network (1) complet (1) tempor (1) semant (1) pspace (1) interv (1)
Person: K. T. Narayana
DBLP: Narayana:K=_T=
Contributed to:
1988
1987Wrote 2 papers:
- CADE-1988-AabyN #logic
- Propositional Temporal Interval Logic is PSPACE Complete (AAA, KTN), pp. 218–237.
- ICALP-1987-ShyamasundarNP #network #nondeterminism #semantics
- Semantics for Nondeterministic Asynchronous Broadcast Networks (RKS, KTN, TP), pp. 72–83.