Termination in Impure Concurrent Languages.

Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi

Browse the full CONCUR paper archive.