Naming convention for files: '''''''''''''''''''''''''''' pgm_____[_][_][_][_]. where they are * mandatory elements : (topology) may be: SNR = linear one with sender-node-receiver SNNR = ... (communications between proceses) may be: 1B = 1 place buffers 1dB = 1 place buffer with delays ... (policy of losses) may be: 1fL = 1 fixed loss 1L = 1 non-deterministic loss ... (Sender window increment) may be: nd = non-deterministic t = timed ... (Receiver window increment) may be: nd = non-deterministic oSPM = when SPM only are received all = when all (ODATA, RDATA, SPM) are received ... * optionnal element (policy for filtering of NACKs in Nodes) may be: no = none (default) filter = filtering on ... (policy for repeating NACKs in Nodes) may be: no = none (default) ... (policy for repeating NACKs in Receivers) may be: no = none (default) 1sRNAK = 1 state RNAK ... (heartbeat timer in Sender) may be: no = none (default) ... * and the langage descrition (language of description) may be: if1 = IF 1.0 if2 = IF 2.0 pml = Promela (Spin) ...