© 2009 Mathew J. Sottile, Timothy G. Mattson, and Craig E Rasmussen 1 Concurrency in Programming Languages Matthew J. Sottile Timothy G. Mattson Craig.
Concurrency Analysis of Java RMI Using Source Transformation and Verisoft By Tim Cassidy Supervised by Jim Cordy Tom Dean.