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

• Authors:

• Yoshiaki Kakuda;Hiroyuki Asada;Tohru Kikuno

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
• Year:
• 1995