Stefan Haar. What topology tells us about diagnosability in partial order semantics. In Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor, editors, 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. pages 211-216, International Federation of Automatic Control, 2010. [doi]
Abstract is missing.