Application of protocol sythesis technique to resolution of the service interaction problem.

Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno

Browse the full FORTE paper archive.