Two notions of sub-behaviour for session-based client/server systems: 10 Years Later.

Franco Barbanera, Ugo de'Liguoro

Browse the full PPDP paper archive.