1- 6 of 6 results
Title: Concurrent Programming in ML, Author: John H. Reppy
Title: Concurrent Programming: The Java Programming Language, Author: Stephen Hartley
Title: Java Concurrency in Practice, Author: Brian Goetz
Title: Logics for Concurrency: Structure versus Automata / Edition 1, Author: Faron Moller
Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, Author: Patrice Godefroid
Title: Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995, Author: Jïrg Desel