Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS.

Monika Kapus-Kolar

Published in: Distributed Comput. (1999)

Keyphrases

protocol specification
formal specification
lightweight
communication protocols
delay insensitive
state machines
high level
model checker
electronic commerce
end to end
service discovery
operational semantics
reactive systems