Complete trace models of state and control.

Guilhem Jaber, Andrzej S. Murawski

Browse the full ESOP paper archive.