Nr. 2 (1996): RS-2 Open Maps, Behavioural Equivalences, and Congruences

Publiceret: 1996-01-02