Comparative study and implementation methodologies for distributed applications

Yongsheng Yang
Today's rapid development of Internet demands highly concurrent and distributed systems. In this context, it is interesting to note that correct protocol specifications can be derived from a given service specification of the application. The main objective of this thesis is to introduce protocol derivation and develop general methodologies for designing distributed systems. Protocol synthesis focuses on generating an error-free protocol specification automatically from a higher-level service specification and it is a very important step...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.