Modeling and synthesis of service composition using tree automata.

Ken Q. Pu, Ying Zhu

Browse the full IRI paper archive.