At the moment I am working hard with the book "Concurrency Verification Introduction to Compositional and Non-compositional Methods" written by Willem-Paul de Roever et al. In the introduction section a companion volume is mentioned and even its structure and the questions answered in the companion are described.
The problem is: No matter how I hard I search for this companion volume I can not find it. It simply does not seem to exist.
Has anyone ever wondered too what volume this might be and also an answer?
Thank you Marvin