Radha Jagadeesan

Radha Jagadeesan

Depaul University - Chicago / United States
Others
AD Scientific Index ID: 1292479
person_outline Radha Jagadeesan's MOST POPULAR ARTICLES
1-) Full abstraction for PCFS Abramsky, R Jagadeesan, P MalacariaInformation and computation 163 (2), 409-470, 20006272000
2-) Games and full completeness for multiplicative linear logicS Abramsky, R JagadeesanThe Journal of Symbolic Logic 59 (2), 543-574, 19944971994
3-) Metrics for labelled Markov processesJ Desharnais, V Gupta, R Jagadeesan, P PanangadenTheoretical computer science 318 (3), 323-354, 20043992004
4-) Modal transition systems: A foundation for three-valued program analysisM Huth, R Jagadeesan, D SchmidtProgramming Languages and Systems: 10th European Symposium on Programming …, 20012882001
5-) Full abstraction for PCFS Abramsky, P Malacaria, R JagadeesanTheoretical Aspects of Computer Software: International Symposium TACS\'94 …, 19942491994