Austin Melton;David A. Schmidt;George E. Strecker
-;-;-
Bridging the gap between fair simulation and trace inclusion
Information and Computation