The compression structure of a process

This paper presents the notion of a compression structure of a process. It is proved that two processes are orthogonally bisimilar if and only if they have the same compression structure. Thus compression structure characterizes orthogonal bisimulation in the same way as branching structure (van Glabbeek, 1993) characterizes branching bisimulation.