Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design