В статье для проверки правильности и корректности описания SIP-спецификаций (Session Initiation Protocol) в отличие от известных работ предлагается использо- вать значительно более выразительный, хорошо структурированный и как фор- мальная система более развитой вариант языка, основанный на моделях взаимо- действующих последовательностных процессов (π-исчислений).