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

Yoshiaki Kakuda Hiroyuki Asada Tohru Kikuno

Published in: FORTE (1994)

Keyphrases

protocol specification
web services
neural network
management system
human computer interaction
mobile services