text: Как правило, эти модели или сетевой сервис или метка c, ожидающая любое число goto c операций. создание нового имени, обозначается ( ν x ) P {\displaystyle \left(\nu x\right)P} , которое может быть рассмотрено как процесс, размещающий новую константу x {\displaystyle x} внутри P {\displaystyle P} .