I think, it can be made explicit in a (fully expanded) message sequence chart with scopes as described here.