Tensors of Comodels and Models for Operational Semantics