An earlier algorithm for deriving protocol specifications from service specifications is extended to cover services with multirendezvous.
A family of algorithms for deriving protocol specifications from service specifications has been developed by Bochmann et al.
The expression defining the service is the basis for the protocol derivation process. The algorithm presented fully automates the derivation process. Future ...
Semantic Scholar extracted view of "Deriving protocol specifications from service specifications including multirendezvous" by M. Kapus-Kolar.
An earlier algorithm for deriving protocol specifications from service specifications is extended to cover services with multirendezvous.
A service specification defines a particular ordering of the operations that a given layer provides to the layer above it. The active elements in each layer are ...
This paper proposes a concurrent-based protocol synthesis method that eliminates the restrictions imposed by the earlier methods. The proposed method uses a ...
A family of algorithms for deriving protocol specifications from service specifications has been developed by Bochmann et al., The algorithms accept an ...
An algorithm for deriving a protocol specification from a given service specification, assumed that services are described by expressions including ...
Missing: multirendezvous. | Show results with:multirendezvous.
Deriving protocol specifications from service specifications including multirendezvous. Kapus-Kolar, Monika. Source: Microprocessing and microprogramming.