Extending Memory Consistency of Finite Prefixes to Infinite Computations.

Marcelo Glusman, Shmuel Katz

Browse the full CONCUR paper archive.