Sự bất đối xứng phát sinh từ thực tế rằng khi điều khiển đi từ A đến B, thủ tục B bắt đầu thực hiện vào đầu; Khi B trở về a, thực hiện bắt đầu không phải đầu của A nhưng các tuyên bố sau các cuộc gọi. Nếu một chạy trong một thời và cuộc gọi B một lần nữa, thực hiện bắt đầu từ lúc bắt đầu của B một lần nữa, không phải các tuyên bố sau sự trở lại trước. Nếu trong quá trình chạy, A gọi cho B nhiều lần, B bắt đầu từ lúc bắt đầu trên một lần nữa và mỗi thời gian, trong khi đó A không bao giờ bắt đầu trên một lần nữa. Nó chỉ giữ đi về phía trước.
đang được dịch, vui lòng đợi..
