Sub-behaviour relations for session-based client/server systems