Constructing Behavioral State Machine using Interface Protocol Specification.

Osamu Shigo Atsushi Okawa Daiki Kato

Published in: APSEC (2006)

Keyphrases

state machine
protocol specification
state machines
fault tolerant
finite state machines
communication protocols
formal specification
formal methods
communication protocol
information systems
case study
distributed databases