Testing semantics: Connecting processes and process logics - Pavlovic, D; Mislove, M; Worrell, J (Springer Verlag, 2006)