Deriving protocol specifications from service specifications including multirendezvous.

Monika Kapus-Kolar

Published in: Microprocess. Microprogramming (1992)

Keyphrases

protocol specification
formal specification
delay insensitive
specification language
communication protocols
state machines
high level
management system
service providers
functional requirements
web services
lightweight
service oriented
information services
finite state machines
reactive systems