Selected Publications

  1. [ps] [pdf] “A Rewriting Based Model for Probabilistic Distributed Object Systems” Nirman Kumar, Koushik Sen, Jose Meseguer and Gul Agha, In Proceedings of 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 2003), volume 2884 of LNCS, pages 32-46, Paris, France, November 2003, Springer-Verlag.
  2. [ps] [pdf] “Probabilistic Rewrite Theories: Unifying Models, Logics and Tools” Koushik Sen, Nirman Kumar, Jose Meseguer and Gul Agha, Technical Report UIUCDCS-R-2003-2347, University of Illinois at Urbana Champaign, May 2003.
[Home] [Downloads] [Publications] [Slides] [Examples] [Related]
This page is maintained by Koushik Sen (ksen at cs.uiuc.edu)