Magee, Jeff Kramer, Jeff. Concurrency: state models & Java programs /Jeff Magee, Jeff Kramer - Chichester John wiley & sons 2005 - xiii, 355 p. includes bibliography & index ISBN: 471987107 Subjects--Topical Terms: Computer programming Dewey Class. No.: 005.13 / MAG