Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Several methods have been proposed for synthesizing computer communication protocol specifications from service specifications. Some protocol synthesis methods based on the finite state machine (FSM) model assume that primitives in the service specifications cannot be executed simultaneously. Others...

Full description

Bibliographic Details
Main Authors: Jehad Al Dallal, Kassem Saleh
Format: Article
Published: Hindawi Limited 2008-01-01
Series:Journal of Computer Systems, Networks, and Communications
Online Access: