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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Hindawi Limited
2008-01-01
|
| Series: | Journal of Computer Systems, Networks, and Communications |
| Online Access: | http://dx.doi.org/10.1155/2008/794960 |