Relative Liveness and Behavior Abstraction (Extended Abstract).

Ulrich Nitsche, Pierre Wolper

Browse the full PODC paper archive.