Data Communication Control Procedures
ACM Computing Surveys (CSUR)
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
Communication protocols in a network context
Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications
ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS
ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS
A graph-model analysis of computer communications protocols.
A graph-model analysis of computer communications protocols.
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Design and verification of communication procedures: A bottom-up approach
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Survey of protocol definition and verification techniques
ACM SIGCOMM Computer Communication Review
| Hi-index | 0.00 |
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.