Towards Analyzing and Synthesizing Protocols
- P. Pitrozafiropulo
- Colin H. West
- et al.
- 1980
- IEEE Transactions on Communications
Paper
Publications
181 results at IEEE Transactions on Communications
Executable Description and Validation of SNA
- Gary D. Schultz
- David B. Rose
- et al.
- 1980
- IEEE Transactions on Communications
PaperPriority Channel Assignment in Tandem DSI
- Mischa Schwartz
- Kenichi Mase
- et al.
- 1980
- IEEE Transactions on Communications
PaperDiscrete-Time Queueing Systems and Their Networks
- Kadaba Bharath-Kumar
- 1980
- IEEE Transactions on Communications
PaperAn Effective Error Control Scheme for Satellite Communications
- Philip S. Yu
- 1980
- IEEE Transactions on Communications
PaperStatic Flow Control in Store-and-Forward Computer Networks
- Leonard Kleinrock
- Parviz Kermani
- 1980
- IEEE Transactions on Communications
PaperDynamic Flow Control in Store-and-Forward Computer Networks
- Parviz Kermani
- Leonard Kleinrock
- 1980
- IEEE Transactions on Communications
PaperCongestion Control of Store-and-Forward Networks by Input Buffer Limits—An Analysis
- Simon S. Lam
- Martin Reiser
- 1979
- IEEE Transactions on Communications
PaperA Queueing Network Analysis of Computer Communication Networks with Window Flow Control
- Martin Reiser
- 1979
- IEEE Transactions on Communications
PaperThroughput considerations in a multiprocessor packet-switching node
- W. Bux
- P. Kühn
- et al.
- 1979
- IEEE Transactions on Communications
Paper