Composition of Services with Nondeterministic Observable Behavior

Cite this paper

@inproceedings{Berardi2005CompositionOS, title={Composition of Services with Nondeterministic Observable Behavior}, author={Daniela Berardi and Diego Calvanese and Giuseppe De Giacomo and Massimo Mecella}, booktitle={ICSOC}, year={2005} }