Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems

Open in new window