Concurrency verification: introduction to compositional and noncompositiona… by Roever, Willem-Paul de, Boer, Frank de, Hannemann, Ulrich, Hooman, Jozef, Lakhnech, Yassine, Poel, Mannes, Zwiers, Job fromCambridge tracts in theoretical computer science 0 Type: Book
