The semantics of message-passing primitives in Sing# are defined by formal and written contracts.
Семантика примитивов обмена данными (message-passing primitives) в языке Sing# фиксирована и описывается формальными соглашениями.