Nielsen M, Sunesen K. Behavioural Equivalence for Infinite Systems—Partially Decidable!. BRICS [Internet]. 1995 Nov. 25 [cited 2024 May 2];2(55). Available from: https://tidsskrift.dk/brics/article/view/19956