0
$\begingroup$

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

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.