Constructing Protocol Converters from Service Specifications.

Yow-Wei Yao Ming T. Liu

Published in: ICDCS (1992)

Keyphrases

protocol specification
communication protocols
formal specification
service providers
client server architecture
lightweight
service oriented
message delivery
web services
formal methods
formal analysis
authentication protocol
service quality
group communication
information services
end users
database systems