Jean-Franois Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger
Browse the full CONCUR paper archive.