Search for dissertations about: "coarsest partition"

Found 1 swedish dissertation containing the words coarsest partition.

  2. 1. Fast decision of strong bisimulation equivalence using partition refinement

    Author : Sven Westin; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; CCS; coarsest partition; labelled transition system; refinement; partition; bisimulation equivalence;

    Abstract : .... READ MORE