أرسل هذا في رسالة قصيرة: Testing semantics: Connecting processes and process logics