Constructing parallel programs and their termination proof.

Jean-Pierre Bantre, Michel Bantre, Patrice Quinton

Browse the full ICPP paper archive.