by Johannes Frey, Hannes Buchwald, Stephan Soller, Walter Kriha, Benjamin Binder
While trying to understand Hoares famous paper Communicating sequential processes we stumbled upon some interesting problems and concepts referring to parallel programming. In this post we want to share some of the insights we gained by discussing the matter.