13.07.2015 Views

705x2b1s - CCSDS

705x2b1s - CCSDS

705x2b1s - CCSDS

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>CCSDS</strong> HISTORICAL DOCUMENTRECOMMENDATION FOR ADVANCED ORBITING SYSTEMSprocess PathRelayer [pkt, oct, snw](terminatingPathServiceType : Service,pathID : PathID,localTerminationFlag : Bool,onwardRelayingTable : RelayingTable,subnetID : SubnetID,SNSAP : SNSAP,maxSDULength : Nat,dataLossFlag : Bool) : noexit :=(hide int in(PacketDestruction [pkt,oct,int](terminatingPathServiceType,pathID,PacketSequenceCount(0,0,0,0,0,0,0,0,0,0,0,0,0,0),True,dataLossFlag)|[int]|TransferIn [int,snw](pathID,localTerminationFlag,onwardRelayingTable,subnetID,SNSAP,QualifierPart(pathID),maxSDULength)))endproc PathRelayer<strong>CCSDS</strong> 705.2-B-1 Page 2-12 May 1994<strong>CCSDS</strong> HISTORICAL DOCUMENT

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!