This paper formalizes an open semantics for a calculus featuring
thread classes, where the environment, consisting in particular of
an overapproximation of the heap topology, is abstractly represented.
We extend our prior work not only by adding thread classes,
but also in that thread names may be communicated, which means
that the semantics needs to account explicitly for the possible
acquaintance of objects with threads. We show soundness of the