Thuật ngữ "đồng thời thực sự" phát sinh trong nghiên cứu lý thuyết về tính toán đồng thời và song song. Nó trái ngược với sự đồng thời xen kẽ. Đồng thời thực sự là đồng thời không thể giảm xuống xen kẽ. Đồng thời được xen kẽ nếu ở mỗi bước trong tính toán, chỉ có một hành động tính toán nguyên tử (ví dụ: trao đổi thông điệp giữa người gửi và người nhận) có thể diễn ra. Đồng thời là đúng nếu có nhiều hơn một hành động nguyên tử như vậy diễn ra trong một bước.
Cách đơn giản nhất để phân biệt cả hai là nhìn vào quy tắc cho thành phần song song. Trong một thiết lập dựa trên xen kẽ, nó sẽ trông giống như thế này:
P→P′P|Q→P′|Q
Quy tắc này thực thi rằng chỉ một quá trình trong một chế phẩm song song có thể thực hiện một hành động nguyên tử. Đối với đồng thời thực sự, một quy tắc như sau sẽ phù hợp hơn.
P→P′Q→Q′P|Q→P′|Q′
Quy tắc này cho phép cả hai người tham gia trong một chế phẩm song song thực hiện các hành động nguyên tử.
π-calculi). Tuy nhiên, sự đơn giản này biến mất để tính toán đồng thời với các hình thức quan sát phong phú hơn (ví dụ tính toán theo thời gian): sự khác biệt giữa đồng thời thực sự và đồng thời xen kẽ trở nên có thể quan sát được.
Tương đương tiêu chuẩn như bisimulation và dấu vết có cùng định nghĩa cho đồng thời dựa trên đúng và xen kẽ. Nhưng họ có thể hoặc không thể đánh đồng các quá trình khác nhau, tùy thuộc vào tính toán cơ bản.
π
P=x¯¯¯ | y¯¯¯ | x.y.a¯¯¯ | y.b¯¯
P→y.a¯¯¯ | b¯¯
P→→x¯¯¯ | x.y.a¯¯¯ | b¯¯y.a¯¯¯ | b¯¯
P
P→→y¯¯¯ | y.a¯¯¯ | y.b¯¯a¯¯¯ | y.b¯¯