- A Typed Calculus of Aspect-oriented Programs Radha Jagadeesan, Alan Jeffrey, and James Riely
- Metrics for Labeled Markov Systems Josee Desharnais \Lambda
- Hybrid cc, Hybrid Automata and Program Verification
- Probabilistic Concurrent Constraint Programming Vineet Gupta ? Radha Jagadeesan ?? Vijay Saraswat ???
- Open Bisimulation for Aspects Radha Jagadeesan, Corin Pitcher, and James Riely
- Programming in hybrid constraint languages Vineet Gupta ? Radha Jagadeesan ?? Vijay Saraswat ? Daniel G Bobrow ?
- Games and Full Completeness for Multiplicative Linear Logic Samson Abramsky and Radha Jagadeesan
- Abstract Semantics for a HigherOrder Functional Language with Logic Variables
- Weak Bisimulation is Sound and Complete for PCTL* Jos ee Desharnais 1# , Vineet Gupta 2 , Radha Jagadeesan 3# , and Prakash Panangaden 4#
- Stochastic Processes as Concurrent Constraint Programs (An Extended Abstract)
- 1. Programming in Timed Concurrent Constraint Languages
- Automatic Abstraction Using Generalized Model Checking
- Models for concurrent constraint programming Vineet Gupta ? Radha Jagadeesan ?? Vijay Saraswat ?
- Full Abstraction for PCF ? (Extended Abstract)
- A Domaintheoretic Model for a Higherorder Process Radhakrishnan Jagadeesan and Prakash Panangaden \Lambda
- Causality and True Concurrency: A Dataflow Analysis of the PiCalculus
- Timed Constraint Programming: A Declarative Approach to Usage Control
- TAPIDO: Trust and Authorization via Provenance and Integrity in Distributed Objects
- Do As I SaY! Programmatic Access Control with Explicit Identities Andrew Cirillo Radha Jagadeesan Corin Pitcher James Riely
- Generative Operational Semantics for Relaxed Memory Models
- Open Bisimulation for Aspects Extended Abstract
- Math. Struct. in Comp. Science (2004), vol. 14, pp. 469505. c 2004 Cambridge University Press DOI: 10.1017/S0960129504004268 Printed in the United Kingdom
- Approximate reasoning for real-time probabilistic processes Vineet Gupta
- Robust Timed Automata ? Vineet Gupta 1 Thomas A. Henzinger 2 Radha Jagadeesan 3
- A correction to the definition of hiding in tcc, Default tcc and Vineet Gupta Radha Jagadeesan Vijay Saraswat
- Typed Parametric Polymorphism for Aspects Radha Jagadeesan a,1 Alan Jeffrey b,1 James Riely a,2
- The Metric Analogue of Weak Bisimulation for Probabilistic Processes Josee Desharnais
- New Foundations for the Geometry of Interaction \Lambda Samson Abramsky Radha Jagadeesan
- Interaction, Concurrency, and OOP in the Curriculum: a Sophomore Course \Lambda
- Foundations of Timed Concurrent Constraint Programming
- Computing with continuous change V. Gupta a , R. Jagadeesan b and V. A. Saraswat a
- J. Symbolic Computation (1996) 11, 1--000 Timed Default Concurrent Constraint Programming
- Approximating Labeled Markov Processes Josee Desharnais
- Towards a theory of accountability and audit Radha Jagadeesan1, Alan Jeffrey2, Corin Pitcher1, and James Riely1,
- Games for Controls Krishnendu Chatterjee
- Objects and Concurrency in Triveni: A Telecommunication Case Study in Java
- Ldomains and Lossless Powerdomains Radhakrishnan Jagadeesan \Lambda
- A Fully Abstract Semantics for a Firstorder Functional Language with Logic Variables
- Static support for capability-based programming in Java Vijay Saraswat
- Truly Concurrent Constraint Programming Vineet Gupta ? Radha Jagadeesan ?? Vijay Saraswat ?
- Design and Implementation of Triveni: a Processalgebraic API for Threads + Events
- Local Memory via Layout Randomization Radha Jagadeesan
- Confidential Safety via Correspondence Assertions Radha Jagadeesan1, Alan Jeffrey2, Corin Pitcher1, and James Riely1
