Models and logics for process algebra door M. van der Zwaag