- Morgan Kaufmann, (1991)
- Integrated Series in Information Systems Springer New York, Secaucus, NJ, USA, (2006)
- (October 2009)
- (June 2010)
- (April 2006)
- (October 2009)
- (September 2006)
- (February 2004)
- (February 2004)
- Cambridge University Press, 2nd Edition edition, (August 2007)
- Concurrency and Computation: Practice and Experience (2010)
- (April 2010)
- (October 2010)
- (April 2010)
- (November 2008)
- (November 2007)
- (October 2009)
- (January 2011)
- (May 2009)
- (2011)


user