Үүнийг мессежээр илгээх: Formal techniques for networked and distributed systems