"Gerçek eşzamanlılık" terimi, eş zamanlı ve paralel hesaplamanın teorik çalışmasında ortaya çıkmaktadır. Birleştirici eşzamanlılığın aksinedir. Gerçek eşzamanlılık, araya girmeye indirgenemeyen eşzamanlılıktır. Hesaplamadaki her adımda yalnızca bir atomik hesaplama işlemi (örn. Gönderici ile alıcı arasında bir mesaj alışverişi) gerçekleşebiliyorsa eşzamanlılık araya sokulur. Bir adımda birden fazla atom eylemi gerçekleştiğinde eşzamanlılık geçerlidir.
Her ikisini de ayırt etmenin en basit yolu, paralel kompozisyon kuralına bakmaktır. Serpiştirmeye dayalı bir ortamda, şöyle bir şey görünür:
P→P′P|Q→P′|Q
Bu kural, paralel bir kompozisyonda yalnızca bir işlemin atomik bir eylem yürütmesini zorlar. Gerçek eşzamanlılık için, aşağıdaki gibi bir kural daha uygun olacaktır.
P→P′Q→Q′P|Q→P′|Q′
Bu kural, paralel bir kompozisyondaki her iki katılımcının da atomik eylemleri yürütmesine izin verir.
π-calculi). Bununla birlikte, bu basitlik, daha zengin gözlem biçimleriyle eşzamanlı hesaplama için ortadan kalkar (örneğin zamanlanmış hesaplama): gerçek eşzamanlılık ve araya eklenmiş eşzamanlılık arasındaki fark gözlenebilir hale gelir.
Bisimülasyonlar ve izler gibi standart eşdeğerlikler, gerçek ve serpiştirme bazlı eşzamanlılık için aynı tanımlara sahiptir. Ancak, temel matematiğe bağlı olarak farklı süreçleri eşitleyebilir veya eşitleyemezler.
π
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¯¯