DocumentCode
3538830
Title
A definition of the XTP service and its formal specification
Author
Atwood, J.W. ; Zhang, Y.
Author_Institution
Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
fYear
1995
fDate
16-19 Oct 1995
Firstpage
459
Lastpage
468
Abstract
The Xpress Transfer Protocol (XTP) is a transfer (transport- and network-level) protocol designed to meet the needs of distributed, real-time, and multimedia systems, in both unicast and multicast environments. To provide a precise and unambiguous specification of the XTP service definition, it has been formally specified using LOTOS. The architecture of the specification is presented, along with the approaches used, the data type definitions, and the process structures
Keywords
formal specification; local area networks; multimedia systems; open systems; real-time systems; transport protocols; LOTOS; XTP service; Xpress Transfer Protocol; data type definitions; distributed systems; formal specification; multicast environment; multimedia systems; network-level protocol; process structures; real-time systems; specification architecture; transport-level protocol; unicast environment; Context; Context-aware services; Delay; Formal specifications; Multimedia systems; Protocols; Real time systems; TCPIP; Unicast;
fLanguage
English
Publisher
ieee
Conference_Titel
Local Computer Networks, 1995., Proceedings. 20th Conference on
Conference_Location
Minneapolis, MN
ISSN
0742-1303
Print_ISBN
0-8186-7162-9
Type
conf
DOI
10.1109/LCN.1995.527375
Filename
527375
Link To Document