Description: In the article developed models of one of the main stages exchange messages process in multipath computer networks - messages forming from received frames. The models constructed on the basis of using probabilistic-time graphs and generating functions apparatus. Semantic numerical specification using as a formal representation means. The developed models can reasonably choose the most efficient way of messages formation from the received frames at multipath transmission.
Keywords: computer networks, multipath transmission, probabilistic-time graphs, semantic numerical specification