Valery A. Sokolov Papers on DiSC'04 Model Checking µ-Calculus in Well-Structured Transition Systems Model Checking µ-Calculus in Well-Structured Transition Systems Model Checking µ-Calculus in Well-Structured Transition Systems Publications Note: Links lead to the DBLP on the Web. Valery A. Sokolov E. V. Kouzmin , Nikolay V. Shilov , Valery A. Sokolov: Model Checking mu-Calculus in Well-Structured Transition Systems. TIME 2004 : 152-155 Dmitry J. Chaly , Valery A. Sokolov: An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks. PaCT 2003 : 66-75 Igor V. Alekseev , Valery A. Sokolov: Modeling and traffic analysis of the adaptive rate transport protocol. Future Generation Comp. Syst. 18 (6): 813-827 (2002) Valery A. Sokolov, Eugeny A. Timofeev : Dynamical Priorities without Time Measurement and Modification of the TCP. Ershov Memorial Conference 2001 : 240-245 Igor V. Alekseev , Valery A. Sokolov: ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks. PaCT 2001 : 159-174 Valery A. Sokolov, Ella E. Roubtsova , Serguei A. Roubtsov : On a Technology of Design and Analysis of Dataflow Programs. PaCT 1997 : 115-120 1 [ 2 ] [ 4 ] 2 [ 5 ] 3 [ 6 ] 4 [ 1 ] 5 [ 1 ] 6 [ 6 ] 7 [ 3 ] ©2005 Association for Computing Machinery