أرسل هذا في رسالة قصيرة: Formal techniques for networked and distributed systems