The Verity-Gray tensor product or lax Gray tensor product of stratified simplicial sets is a tensor product on the category of stratified simplicial sets which when restricted to complicial sets, i.e. omega-nerves of strict omega-categories reproduces the Crans-Gray tensor product on strict -categories.
Let and be stratified simplicial sets. Then their Verity-Gray tensor product is given by
(X, t X) \otimes (Y, t Y) := (X \times Y, q(t X, t Y)) \,,
definition 128 of
definition 59, page 32 of
slide 60 of