In this paper, we present a new representation of state spaces suitable for implementing operations upon behavior protocols of software components.
