“…To take advantage of these two paradigms when designing systems, a few theories for heterogeneous specifications have been proposed, e.g., [7,8,10,12,15,16,17,20]. Among them, Lüttgen and Vogler propose the notion of logic labelled transition system (Logic LTS or LLTS for short), which combines operational and logical styles of specification in one unified framework [15,16,17]. In particular, a variant of weak ready simulation has been presented in [16], which is adopted to capture refinement relation between processes in the presence of logical operators.…”