Best proximity results for multivalued non-self mappings under compactness and semicontinuity conditions | Synapse