Concurrency - state models and Java programs

Jeff Magee, Jeff Kramer. Concurrency - state models and Java programs. Wiley, 1999.

Abstract

Abstract is missing.