[PDF][PDF] Synthesis of communication protocols: survey and assessment
RL Probert, K Saleh - IEEE Transactions on Computers, 1991 - researchgate.net
RL Probert, K Saleh
IEEE Transactions on Computers, 1991•researchgate.netTen years have passed since the introduction of the first method for the synthesis of
communication protocols [23]. Since then, various other methods have appeared in the
literature. In this paper, eleven synthesis methods are described. Based on particular
features of the synthesis process, these methods are classified and compared. Finally, we
outline some new research dkctions for enhancing the applicability of the synthesis
approach to the design of real-life protocols.
communication protocols [23]. Since then, various other methods have appeared in the
literature. In this paper, eleven synthesis methods are described. Based on particular
features of the synthesis process, these methods are classified and compared. Finally, we
outline some new research dkctions for enhancing the applicability of the synthesis
approach to the design of real-life protocols.
Ten years have passed since the introduction of the first method for the synthesis of communication protocols [23]. Since then, various other methods have appeared in the literature. In this paper, eleven synthesis methods are described. Based on particular features of the synthesis process, these methods are classified and compared. Finally, we outline some new research dkctions for enhancing the applicability of the synthesis approach to the design of real-life protocols.
researchgate.net
Showing the best result for this search. See all results