View of A Compositional Proof System on a Category of Labelled Transition Systems

Return to Article Details A Compositional Proof System on a Category of Labelled Transition Systems Download Download PDF