Roberto Segala
-
Conformance relations for labeled event structures
TAP'12 Proceedings of the 6th international conference on Tests and Proofs