This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol
September 1985 (vol. 11 no. 9)
pp. 886-908
C.V. Ramamoorthy, Department of Electrical Engineering and Computer Science and the Electronics Research Laboratory, University of California
In the past, a number of methods have been proposed to model and validate communication protocols that have already been designed. However, design criteria and design aids are still lacking for designing correct protocols. The objective of developing automated protocol synthesizers is to provide a systematic way of designing new communication protocols such that their correctness can be ensured.
Index Terms:
protocol synthesis, Computer network, design tool, Petri net, protocol
Citation:
C.V. Ramamoorthy, S.T. Dong, Y. Usuda, "An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol," IEEE Transactions on Software Engineering, vol. 11, no. 9, pp. 886-908, Sept. 1985, doi:10.1109/TSE.1985.232547
Usage of this product signifies your acceptance of the Terms of Use.