Synthesis of Error-Recoverable Protocol Specifications from Service Specifications.

Kassem Saleh Robert L. Probert

Published in: ICCI (1990)

Keyphrases

protocol specification
formal specification
high level
delay insensitive
communication protocols
service providers
service quality
specification language
electronic commerce
computing environments
finite state machines
formal analysis
reactive systems
state machines