Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem / Edition 1, Author: Patrice Godefroid
Title: On Concurrent Programming / Edition 1, Author: Fred B. Schneider
Title: Objects for Concurrent Constraint Programming / Edition 1, Author: Martin Henz
Title: Logics for Concurrency: Structure versus Automata / Edition 1, Author: Faron Moller
Title: Java Concurrency in Practice / Edition 1, Author: Brian Goetz
Title: Concurrent Scientific Computing / Edition 1, Author: Eric F. Van de Velde
Title: Concurrent Programming: The Java Programming Language / Edition 1, Author: Stephen Hartley
Title: Concurrent Programming in ML, Author: John H. Reppy
Title: Concurrent and Real-Time Programming in Ada, Author: Alan Burns