论文信息 - On the modelling, analysis and design of protocols - a special class of software structures

On the modelling, analysis and design of protocols - a special class of software structures

In this paper we review briefly some of the formal models and techniques that can be applied on the modelling, analysis and design of communication protocols.

Eric G. Manning | Mohamed G. Gouda | M. Gouda | E. Manning

[1] Michel Hack,et al. ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

[2] Byron W. Stutzman. Data Communication Control Procedures , 1972, CSUR.

[3] Eric G. Manning,et al. Protocol Machines: A Concise Formal Model and its Automatic Implementation , 1976, International Conference on Innovative Computing and Cloud Computing.

[4] André A.S. Danthine,et al. Communication protocols in a network context , 1975 .

[5] Dennis M. Birke. State-transition programming techniques and their use in producing teleprocessing device control programs , 1971, Symposium on Problems in the Optimizations of Data Communications Systems.

[6] Friedrich Ludwig Bauer. Advanced Course on Software Engineering , 1973 .

[7] B. H. Liskov,et al. Specification techniques for data abstractions , 1975, IEEE Transactions on Software Engineering.

[8] Boris Beizer,et al. Analytical techniques for the statistical evaluation of program running time , 1970, AFIPS '70 (Fall).

[9] Jonathan Bruce Postel. A graph-model analysis of computer communications protocols. , 1974 .

[10] A. Fraser. The present status and future trends in computer/communication technology , 1976, Communications Society.

[11] Gregor von Bochmann. Logical verification and implementation of protocols , 1975 .