View of Behavioural Equivalence for Infinite Systems—Partially Decidable!

Return to Article Details Behavioural Equivalence for Infinite Systems—Partially Decidable! Download Download PDF