Event at which message is sent to d

Event at which message is sent to d, and there is no such event on any causal path between event e and this event

Kết quả (Việt) 1:

Sự kiện tại tin nhắn đó được gửi đến d, và đó là không có trường hợp như vậy trên bất kỳ đường dẫn quan hệ nhân quả giữa sự kiện e và sự kiện này

Kết quả (Việt) 2:

Tổ chức sự kiện mà tại đó thông điệp được gửi đến d, và không có sự kiện như trên bất kỳ con đường quan hệ nhân quả giữa các sự kiện điện tử và sự kiện này