Mariangiola Dezani-Ciancaglini Jerzy Tiuryn Pawel Urzyczyn Discrimination by Parallel Observers: The Algorithm. 153-186 1999 150 Inf. Comput. 2 db/journals/iandc/iandc150.html#Dezani-CiancagliniTU99