Семантика и однозначность результата распределенных вычислений в модели обмена сообщениямистатья