Termination of linear loops under commutative updates.

Ruiwen Dong

Browse the full ISSAC paper archive.