Two notions of sub-behaviour for session-based client/server systems.

Franco Barbanera, Ugo de'Liguoro

Browse the full PPDP paper archive.