Modular specification and verification of XTP

Telecommunication Systems

Volumn 9, Issue 2, 1998, Pages 207-221

  Herrmann, Peter ^a   Krumm, Heiko ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22044434009     PISSN: 10184864     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1019195806819     Document Type: Article

References (19)

1. T. Braun, B. Stiller and M. Zitterbart, XTP and VMTP on multiprocessor architectures, in: Proceedings of the International Workshop on Advanced Communications and Applications for High-Speed Networks (1992).
2. W.A. Doeringer, D. Dykeman, M. Kaiserswerth, W. Meister, H. Rudin and R. Williamson, A survey of light-weight transport protocols for high-speed networks, IEEE Transactions on Communications 11 (1990) 2025-2039.
3. O. Drögehorn, Ein Werkzeug zum formal basierten Entwurf von Hochleistungsprotokollen, Diploma thesis, University of Dortmund, 1996 (in German).
4. P. Herrmann, Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen, Ph.D. dissertation, Universität Dortmund (November 1997). To appear in Deutscher Universitätsverlag 1998 (in German).
5. P. Herrmann and H. Krumm, Compositional specification and verification of high-speed transfer protocols, in: Protocol Specification, Testing, and Verification XIV, eds. S.T. Vuong and S.T. Chanson (Chapman & Hall, 1994).
6. P. Herrmann and H. Krumm, Re-usable verification elements for high-speed transfer protocol configurations, in: Protocol Specification, Testing, and Verification XV, eds. P. Dembiński and M. Średniawa (Chapman & Hall, 1995).
7. ISO, LOTOS: Language for the temporal ordering specification of observational behaviour, International Standard ISO/IS 8807 (1989).
8. L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems 3 (1994) 872-923.
9. T.F. La Porta, A feature rich transport protocol: Functionality and performance, Ph.D. dissertation, Columbia University, New York (May 1992).
10. T.F. La Porta and M. Schwartz, Architectures, features, and implementation of high-speed transport protocols, IEEE Network Magazine (1991) 14-22.
11. T.F. La Porta and M. Schwartz, The MultiStream Protocol: A highly flexible high-speed transport protocol, IEEE Journal on Selected Areas in Communications 11(4) (May 1993).
12. N. Lynch and M. Tuttle, An introduction to input/output automata, CWI Quarterly 2(3) (September 1989) 219-246.
13. A. Mester and H. Krumm, Composition and refinement mapping based construction of distributed applications, in: Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (BRICS, Denmark, 1995).
14. W.W. McCune, OTTER 3.0 Reference Manual and Guide, Research Report ANE-94/6, Argonne National Laboratory, Argonne, IL (January 1994).
15. Protocol Engines, Incorporated, XTP protocol definition revision 3.4 (1989).
16. A.S. Tanenbaum, Computer Networks, 3rd edn. (Prentice-Hall, Englewood Cliffs, NJ, 1996).
17. C.A. Vissers, G. Scollo and M. van Sinderen, Architecture and specification style in formal descriptions of distributed systems, in: Protocol Specification, Testing and Verification VIII, eds. S. Agarwal and K. Sabnani (Elsevier, 1988).
18. A.C. Weaver, The Xpress transfer protocol, Computer Communications 1 (1994) 46-52.
19. XTP transport protocol specification, revision 4.0, XTP Forum, Santa Barbara, CA (1995).