|
СТ |
Performnce Comparison of Routing Protocols under Dynamic and Static File Transfer Connections |
1992 |
Shankar A. U., Alaettinoglu C., Dussa-Zieger K., Matta I. |
|
|
|
Computer Communication Review |
10.12.1992 |
|
СТ |
A Stepwise Refinement Heuristic for Protocol Construction |
1992 |
Shankar A. U., Lam S. S. |
|
|
|
ACM Trans. Programming Languages and Systems |
06.09.1992 |
|
СТ |
Performance Comparison of Routing Protocols using MaRS: Distance-Vector versus Link-State |
1992 |
Shankar A. U., Alaettinoglu C., Duzza-Zieger K., Matta I. |
|
|
|
Performance Evaluation Review |
17.07.1992 |
|
СТ |
An Introduction to Assertional Reasoning for Concurrent Systems |
1993 |
Shankar A. U. |
|
|
|
ACM Computing Surveys |
26.01.1994 |
