Discrimination by parallel observers: The algorithm (1999)

by Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn
Venue:Inf. Comput