individual publications

• academic article

  • On the convergence of multiclass queueing networks in heavy traffic.  Annals of Applied Probability.  4:26-42. 1994
  • Sequential bottleneck decomposition: an approximation method for open queueing networks.  Operations Research.  42:119-136. 1994
  • A Model and Temporal Proof System for Networks of Processes.  Distributed Computing.  1:7-25. 1986