Open Systems Laboratory

Office address: 500 Oracle Pkwy, M/S 3OP7, Redwood Shores, CA, 94065 Mailing address: 352 Caprino way Apt 5 San Carlos, CA, 94070 Office phone: 6505061936 E-mail: nirmangmailcom Home page: http://yangtze.cs.uiuc.edu/~nkumar5

Select publications

1. Kumar, Nirman, Koushik Sen, Jose Meseguer, Gul Agha. "A Rewriting Based Model for Probabilistic Distributed Object Systems," In Proceedings of 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'03), volume 2884 of Lecture Notes in Computer Science, pages 32{46, Paris, France, November 2003. Springer., 2003. [pdf] [ps] [bib]