Composition of Interactive Web Services Based on Controller Synthesis.

Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade

Browse the full SERVICES paper archive.