Deriving Protocol Specifications from Service Specifications in Extended FSM Models.

Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi

Browse the full ICDCS paper archive.