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

Return to Article Details Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems Download Download PDF