|
СТ |
A Calculus of Untyped Aspect-Oriented Programs |
2003 |
Jagadeesan R., Jeferey A., Riely J. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
|
СТ |
Modal Transition Systems: A Foundation for Three-Valued Program Analysis |
2001 |
Huth M., Jagadeesan R., Schmidt D. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus |
1995 |
Jagadeesan L. J., Jagadeesan R. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
Full Abstraction for PCF |
1994 |
Abramsky S., Malacaria P., Jagadeesan R. |
|
|
|
Lecture Notes in Computer Science |
30.04.1994 |
|
СТ |
Games and Full Completeness for Multiplicative Linear Logic |
1992 |
Abramsky S., Jagadeesan R. |
|
|
|
Lecture Notes in Computer Science |
28.12.1992 |
|
СТ |
A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables |
1991 |
Jagadeesan R., Pingali K., Panangaden P. |
|
|
|
ACM Trans. Programming Languages and Systems |
10.12.1991 |
