The OSI95 Transport Service with Multimedia SupportA. Danthine |
From inside the book
Results 1-3 of 41
Page 431
... Bool : Cor - > Bool : Cor - > Bool egns IsCorSig IsCorSigl IsCorSig2 IsCor IsNoCor IsCorrup1 IsCorrup2 _eq : Cor ... ofsort RER1 RER1Of ( CorSigl ( rel ) ) = rel ofsort RER2 RER2Of ( CorSig2 ( re2 ) ) = re2 ofsort Nat h ( CorNotSig ) h ...
... Bool : Cor - > Bool : Cor - > Bool egns IsCorSig IsCorSigl IsCorSig2 IsCor IsNoCor IsCorrup1 IsCorrup2 _eq : Cor ... ofsort RER1 RER1Of ( CorSigl ( rel ) ) = rel ofsort RER2 RER2Of ( CorSig2 ( re2 ) ) = re2 ofsort Nat h ( CorNotSig ) h ...
Page 442
... Bool - > TCProtection - > Bool egns _eq _ , _ ne_ forall td , td1 : Trans Delay1 , sc , sc1 : SCD , pri , pril : TCPriority , pro , prol : TC Protection , q , ql : TACKQOS ofsort ... ofsort SCD TACKQOSSCD ( TACKQOS ( td , sc , pri , pro ) ...
... Bool - > TCProtection - > Bool egns _eq _ , _ ne_ forall td , td1 : Trans Delay1 , sc , sc1 : SCD , pri , pril : TCPriority , pro , prol : TC Protection , q , ql : TACKQOS ofsort ... ofsort SCD TACKQOSSCD ( TACKQOS ( td , sc , pri , pro ) ...
Page 449
... Bool forall el : Element , e2 : Other Element , p , p1 : Pair ofsort Element First ( Pair ( e1 , e2 ) ) = el ; = e2 ; ofsort Other Element Second ( Pair ( e1 , e2 ) ) ofsort Bool p = pl = > p eq pl = true First ( p ) ne First ( p1 ) ...
... Bool forall el : Element , e2 : Other Element , p , p1 : Pair ofsort Element First ( Pair ( e1 , e2 ) ) = el ; = e2 ; ofsort Other Element Second ( Pair ( e1 , e2 ) ) ofsort Bool p = pl = > p eq pl = true First ( p ) ne First ( p1 ) ...
Contents
The Networking Environment of the Nineties and the Need | 1 |
The XTP Study | 19 |
Validation of the Xpress Transfer Protocol XTP | 42 |
Copyright | |
18 other sections not shown
Other editions - View all
Common terms and phrases
andthen architecture ATM Adaptation Layer B-ISDN behaviour buffer bytes CCITT cell CNTL packet communication Connection-Mode connectionless connectionless-mode constraints CONTEXT continuous media Danthine data transfer defined direction of data distributed multimedia endproc endtype entity environment error control Estelle exit false fast connect FDDI forall functions implementation indication interaction interface ISO/IEC IsValidCon2 jitter layer LosD LOTOS LOTOS-T mechanism module multicast multimedia multimedia applications multiplexing nbrdat nbrer negotiation network layer nmax noexit nthld Octet ofsort Bool OnTopOf Open Systems Interconnection opns orchestration OSI Reference Model OSI95 TS user p_rational performance pgih primitive QoS parameters QoS value re-negotiation received request requirements semantics sender sequence service provider service user simulation specification Ss_SAP structure Subsort succ synchronisation T-RELEASE TAddress tcei TCEI tsp:TSP tceil TCEP TCRERCOnt thld throughput TPDU transit delay transmission transport protocol TSDU virtual circuit