Relational Structures Model of Concurrency -- A Logical Characterization of Efficiency