Relational semantics for processes - Winter, Michael; Kempf, Peter (Bericht / Universität der Bundeswehr München, Fakultät für Informatik, 1998)