שליחה במסרון: Formal models, languages and applications