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

From MaRDI portal
Publication:5154744