Composition of Services with Nondeterministic Observable Behavior.

Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella

Browse the full ICSOC paper archive.