Trace equivalence decision: negative tests and non-determinism. In: (2011)

by V Cheval, H Comon-Lundh, S Delaune
Venue:Proc. ACM CCS 2011,