 | 2007 |
|---|
| 14 |       | Vikraman Arvind,
Sanjiva Prasad:
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings
Springer 2007 |
| 13 |  | Martin Karsten,
S. Keshav,
Sanjiva Prasad,
Mirza Beg:
An axiomatic basis for communication.
SIGCOMM 2007: 217-228 |
| 2005 |
|---|
| 12 | | Rahul Agarwal,
Mahender Bisht,
S. N. Maheshwari,
Sanjiva Prasad:
Divide and Concur: Employing Chandra and Toueg's Consensus Algorithm in a Multi-level Setting.
ICDCIT 2005: 172-183 |
| 2004 |
|---|
| 11 | | Deepak Garg,
Akash Lal,
Sanjiva Prasad:
Effective Chemistry for Synchrony and Asynchrony.
IFIP TCS 2004: 479-492 |
| 2002 |
|---|
| 10 | | Sanjiva Prasad,
S. Arun-Kumar:
Introduction to Operational Semantics.
The Compiler Design Handbook 2002: 841-890 |
| 2000 |
|---|
| 9 | | Sanjiv Kapoor,
Sanjiva Prasad:
Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings.
Springer 2000 |
| 8 | | Kumar Neeraj Verma,
Jean Goubault-Larrecq,
Sanjiva Prasad,
S. Arun-Kumar:
Reflecting BDDs in Coq.
ASIAN 2000: 162-181 |
| 7 | | Roberto M. Amadio,
Sanjiva Prasad:
Modelling IP Mobility.
Formal Methods in System Design 17(1): 61-99 (2000) |
| 1999 |
|---|
| 6 | | Roberto M. Amadio,
Sanjiva Prasad:
The Game of the Name in Cryptographic Tables.
ASIAN 1999: 15-26 |
| 1998 |
|---|
| 5 | | Roberto M. Amadio,
Sanjiva Prasad:
Modelling IP Mobility.
CONCUR 1998: 301-316 |
| 1996 |
|---|
| 4 | | Sanjiva Prasad:
Models for Mobile Computing Agents.
ACM Comput. Surv. 28(4es): 53 (1996) |
| 1994 |
|---|
| 3 | | Roberto M. Amadio,
Sanjiva Prasad:
Localities and Failures (Extended Abstract).
FSTTCS 1994: 205-216 |
| 1990 |
|---|
| 2 | | Sanjiva Prasad,
Alessandro Giacalone,
Prateek Mishra:
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming.
ICALP 1990: 765-778 |
| 1989 |
|---|
| 1 | | Alessandro Giacalone,
Prateek Mishra,
Sanjiva Prasad:
FACILE: A Symmetric Integration of Concurrent and Functional Programming.
TAPSOFT, Vol.2 1989: 184-209 |
