Relative liveness and behavior abstraction (1997)

by U Nitsche, P Wolper
Venue:In Proceedings of PODC’97