31 used & new from $3.00

Have one to sell? Sell yours here

Tell the Publisher! I�d like to read this book on Kindle Don�t have a Kindle? Get your Kindle here.

Concurrency: State Models & Java Programs (Hardcover)

~ (Author), Jeff Kramer (Author) "In Chapter 1, we noted that in concurrent programs, computational activities are permitted to overlap in time and that the subprogram executions describing these activities..." (more)
Key Phrases: car park model, arbitrary relative speeds, progress violation, Dining Philosophers, Unified Modeling Language (more...)

3.7 out of 5 stars See all reviews (12 customer reviews)

Available from these sellers.

11 new from $24.47 20 used from $3.00

Formats		Amazon Price	New from	Used from
Hardcover $36.13 In Stock. Published July 4, 2006	Hardcover	$36.13	$36.13	$28.65
Hardcover Available from these sellers. Published April 16, 1999	Hardcover, April 16, 1999	--	$24.47	$3.00
	See # more hardcovers
	Show fewer hardcovers

There is a newer edition of this item:

Concurrency: State Models and Java Programs 3.7 out of 5 stars (12)
$36.13

In Stock.

What Do Customers Ultimately Buy After Viewing This Item?

	60% buy the item featured on this page: Concurrency: State Models & Java Programs 3.7 out of 5 stars (12)
	27% buy Java Concurrency in Practice 4.8 out of 5 stars (60) $37.79
	5% buy Effective Java (2nd Edition) 4.9 out of 5 stars (36) $35.47
	4% buy Java Threads 3.5 out of 5 stars (41) $26.37

Explore similar items

Customers Who Bought This Item Also Bought

Head First Software Development

by Russ Miles

4.6 out of 5 stars (14) $31.49

Distributed Systems: Principles and Paradigms (2nd Edition)

by Andrew S. Tanenbaum

3.1 out of 5 stars (21) $98.40

Contextual Design: Defining Customer-Centered Systems (Interactive Technologies)

by Hugh Beyer

3.4 out of 5 stars (13) $57.53

Advanced Use Case Modeling: Software Systems (v. 1)

by Frank Armour

4.9 out of 5 stars (7) $35.47

Software Abstractions: Logic, Language, and Analysis

by Daniel Jackson

4.0 out of 5 stars (1) $33.33

› Explore similar items

Editorial Reviews

Review

"...this well written book [...] will be useful to those designing distributed systems" --Computing Reviews, June 2000

Product Description

Concurrent Programs are notoriously difficult to get right. This book provides a systematic and practical approach to designing, analyzing and implementing concurrent programs. Concurrency concepts and techniques are introduced and illustrated using both state models and Java programs. The design models enable concurrent behavior to be animated, mechanically analyzed and then implemented in programs. With good support for concurrency, Java provides an ideal implementation language. Examples ranging from automobile cruise control to a game of space invaders are used throughout to motivate and illustrate the models and programs. Modeling is supported by a visual and interactive method for reasoning about design features. Programming is supported by interactive applets for experimenting with concurrent programs. This book and the CD-ROM which accompanies it provide readers with the means for understanding the fundamentals and practice of concurrency. Topics covered include:

threads and interaction
interference, exclusion and synchronization
deadlock, safety and liveness properties
message passing
concurrent software architectures
dynamic and timed systems.

The accompanying CD-ROM contains: the software analysis tools for modeling concurrency, model animation and model checking; the full set of state models, Java examples and demonstration programs; and a comprehensive series of overhead slides for course presentation.

See all Editorial Reviews

Product Details

Hardcover: 374 pages
Publisher: Wiley (April 16, 1999)
Language: English
ISBN-10: 0471987107
ISBN-13: 978-0471987109
Product Dimensions: 9.5 x 7.6 x 1.2 inches
Shipping Weight: 2.2 pounds

Average Customer Review: 3.7 out of 5 stars See all reviews (12 customer reviews)

Amazon.com Sales Rank: #1,197,259 in Books (See Bestsellers in Books)

Would you like to update product info or give feedback on images?

More About the Author

Discover books, learn about writers, read author blogs, and more.

› Visit Amazon's Jeff Magee Page

Inside This Book (learn more)

First Sentence:
In Chapter 1, we noted that in concurrent programs, computational activities are permitted to overlap in time and that the subprogram executions describing these activities proceed concurrently. Read the first page

Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
car park model, arbitrary relative speeds, progress violation, timed objects, synchronized public void, selective receive, cruise control system, void tick, relabeling function, sieve program, liveness problems, slave thread, demonstration applet, monitor lock, tick action, labeled transition system, maximal progress, progress properties, condition synchronization, cruise controller, synchronized methods, public void run, action prefix, progress property, guarded actions

Key Phrases - Capitalized Phrases (CAPs): (learn more)
Dining Philosophers, Unified Modeling Language

New!
Books on Related Topics | Concordance | Text Stats

Citations (learn more)

This book cites 31 books:

Concurrent Programming in Java: Design Principles and Patterns (Java Series) by Douglas Lea in Front Matter, page 32, and Back Matter
Communicating Sequential Processes (Prentice Hall International Series in Computing Science) by C.A.R. Hoare in Front Matter, page 32, and Back Matter
Concurrent Programming (International Computer Science Series) by Alan Burns in Front Matter, and Back Matter
Concurrent Programming: Principles and Practice by Greg Andrews in Front Matter, and Back Matter
Model-Based Software Engineering (Chapman & Hall Computing) by G. Bruno on page 179, and Back Matter

See all 31 books this book cites

Books on Related Topics (learn more)

Concurrency by Jeff Magee

Discusses:

Modern Multithreading by Richard H. Carver

Discusses:

Creating Components by Charles W. Kann

Discusses:

The Elements of Java Style by Allan Vermeulen

Discusses:

Tags Customers Associate with This Product

(What's this?)

Click on a tag to find related items, discussions, and people.

javathreads(1)

software concurrency(1)

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

Customer Reviews

12 Reviews

5 star:		(6)
4 star:		(2)
3 star:		(1)
2 star:		(0)
1 star:		(3)

Average Customer Review

3.7 out of 5 stars (12 customer reviews)

Share your thoughts with other customers:

Create your own review

Most Helpful Customer Reviews

35 of 35 people found the following review helpful:

5.0 out of 5 stars This is could be a classic CS book, December 3, 1999

By	Robert Fielding (Washington DC, USA) - See all my reviews

This book does not belong with other Java books. This is a real computer science textbook that should be sitting next to Rivest's Algorithms book. The use of Java is incidental and makes the book very accessible without detracting from the issues at hand. It has to be one of the most well conceived computer science books ever written.

The material covered is maddeningly difficult to master informally because concurrency errors often manifest themselves as rare, random, and disastrous events that cannot be reproduced. Most of the book is laying down a solid formal foundation in which to reason about concurrency; the only hope for getting it right when things are difficult. It also comes with analysis tools (in Java of course!) to help people who learn by exploration, experimentation, and visualisation.

Comment Comment | Permalink | Was this review helpful to you? Yes No (Report this)

24 of 24 people found the following review helpful:

5.0 out of 5 stars Excellent Textbook on Concurrency Theory and Practice, April 20, 1999

By	Wolfgang Emmerich (we@acm.org) (London, UK) - See all my reviews

I have used Magee and Kramer's book (or rather their manuscript) twice in the UG programme of the Dept. of Computer Science at University Collge London. I used it to teach a 30 hours course on Concurrency to final year BSc students in Computer Science.

The book is very appealing for several reasons:

Firstly, it is the only available book that provides an engineering discipline to concurrency. It covers both a sound introduction to the theory of concurrency and practical guidelines how to design concurrent programs using the UML and Java.

Secondly, the book is nicely written indeed. The concepts are well motivated, the intriguingly difficult theory of concurrency is well explained and the book is full of examples that show both theory and practice of Concurrency.

Thirdly, the book is not only a book; it's a nicely boundled package. It comes with Java demonstration applets that I used to visualize concurrency concepts, such as Monitors, Mutual Exclusion and Fairness in the class room. Moreover, the book includes a CD with a tool that students (and professors) can use for modelling and model checking purposes. The tool implements labelled transition systems analysis and supports visualization of label transition system execution. Finally the web site that accompanies the book is full of exercises and exam questions and model answers are available too.

Using this material was a truly positive experience.

Comment Comment | Permalink | Was this review helpful to you? Yes No (Report this)

19 of 19 people found the following review helpful:

5.0 out of 5 stars Concurrency for the new millenium, September 27, 1999

By	Judith Bishop (jbishop@cs.up.ac.za) (South Africa and Canada) - See all my reviews

I have also used this book in manuscript form for two years at the University of Pretoria, South Africa, and am now using it in Victoria, Canada. In both cases, the book forms the introductory part to a larger course on object-oriented distributed systems.

Without this book the students would be lost in the mire of COM, RMI, CORBA etc and learn no principles to carry them through after graduation. Magee and Kramer package up the classical Hoare CSP in such a way that it is palatable, easy to use, and really illustrates difficult points to students on-line. Students say the course is fun. It is fitting that this book should appear just as Tony Hoare retires from Oxford. Magee and Kramer show how concurrency should be done in the new millenium.

Just one word of warning: there are five notations to master in the book: FSP modelling, LTS diagrams, UML diagrams, structure diagrams and Java. I found that being forewarned on this aspect helped me explain the need for all of them to students.

Comment Comment | Permalink | Was this review helpful to you? Yes No (Report this)

Share your thoughts with other customers: Create your own review

› See all 12 customer reviews...

Most Recent Customer Reviews

1.0 out of 5 stars Who needs all the pages?
I was very annoyed with this purchase. I received a product that one had the cover put on backwards and then two was missing pages. Page 125, blank page, 127. Read more

Published 9 months ago by S. DeVay

4.0 out of 5 stars Good book
This book was a required text in a graduate course in Software Engineering that I had taken. As many other reviewers said, it is solid on theory but lacks from a practical... Read more

Published 10 months ago by Siddhardha

4.0 out of 5 stars Why this book is important.
There are several levels of understanding of practical concurrency.

At first you have a palette of tool in your language and you delve into creating multithreaded... Read more

Published on June 13, 2007 by William Crispin

5.0 out of 5 stars Concurrency fundamentals using a model-based approach
I have used the first edition of this textbook in a course on concurrent and real-time systems at The University of Queensland since 2001, and I am looking forward to using the... Read more

Published on October 1, 2006 by Paul A. Strooper

3.0 out of 5 stars Too dependent on FSP, LTS, and LTSA
I'm using the text this semester in my course, and while it presents the material in a clear enough way, I find the authors' dependence on the LTS/FSP language to model... Read more

Published on September 29, 2006 by pvonk

5.0 out of 5 stars Landmark book about the real issues
This is truly a landmark book, from Kramer and Magee who have been recognised by ACM SIGSOFT with the 2005 Outstanding Research Award for significant and lasting research... Read more

Published on September 26, 2006 by Judith Bishop

1.0 out of 5 stars Theory yes, practical no.
This book is a good example of how to sell a book to people based solely on it's title. I bought it, so they succeeded.

I'll try to be brief, and not rant. Read more

Published on August 19, 2006 by Bogus Exception

1.0 out of 5 stars Copy/Paste authors that have never used Java?
As indicated by other reviewers, this is a book that talks about things involved with programs/threads talking to each other. Read more

Published on August 14, 2006 by Bogus Exception

5.0 out of 5 stars extremely useful for understanding concurrency issues
It was only after reading that book that I was able to really understand the conecepts of interleaved actions, race conditions, semaphores and monitors (as well as other... Read more

Published on November 16, 1999

› See all 12 customer reviews...

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }