Tiling transactions in rewriting logic