Concurrency verification: introduction to compositional and noncompositiona… by Roever, Willelm-Paul de fromCambridge tracts in theoretical computer science 0 Type: Book
