İz teorisi, bilgisayar donanımı ve yazılımı işlemlerinin aynı anda nasıl gerçekleştirildiği ile ilgilidir. Bazen eşzamanlı hesaplama olarak da adlandırılır ve paralel hesaplama fikri ile karşılaştırılabilir. Eşzamanlı hesaplamanın arkasındaki ana fikir, birkaç işlemin aynı kaynağı kullanması ve birbirine bağlı olmasıdır. İzini sürmek için teori, süreçlerin oluşturabileceği sonsuz sayıda olası örüntü ve ilişkinin olduğu fikridir.
Çoğu bilgisayar donanımı ve programlama dili, iz teorisi etrafında tasarlanmıştır. Eşzamanlı hesaplama, neyin işlendiğini ve işleme faaliyetinin nasıl gerçekleştiğini inceler. Aynı kaynakları kullanan eşzamanlı işlemler genellikle birbirinden bağımsız olsa da, etkileşime girebilirler. Birbirine bağlı süreçler fikri, eşzamanlı hesaplama ve bağımlılık grafiklerinin çekirdeğini oluşturur.
Her bilgisayar işleminin ayrı ayrı gerçekleşmesine rağmen, bağımlılık grafikleri hangi işlemlerin aynı donanımı veya yazılımı kullandığını gösteriyor. Bu grafiklerde ve hesaplamalarda, bağımlı faktör "C" veya "D" harfiyle etiketlenebilir. Bağımlılık grafikleri, iki işlem belirli bir faktör kullanıyorsa, aynı tanımlayıcıları içeren diğer işlemlerin de aynı faktöre bağlı olacağını göstermektedir.
İz teorisi, çeşitli hesaplama işlemlerinin ve komutlarının nasıl oluştuğunu açıklamaya çalıştığından, bağımlılık grafikleri sadece hangi kaynakların kullanıldığını değil aynı zamanda işlemlerin aldığı yolları ve rotaları da belirler. Teorinin, tek bir faktörle meydana gelebilecek yalnızca belirli sayıda bağımlılık veya ilişki olduğunu ifade etmesi önemlidir. Eşzamanlı hesaplamadaki kalıp sayısı sınırsız olsa da, yalnızca belirli sayıda işlem aynı bağımlılığı oluşturacak veya aynı kaynağı kullanacaktır.
İz teorisi, paralel işlemlerin matematiksel olarak birbirine eşit olduğunu göstermektedir. İki paralel çizgi alma, içlerinden kesişen bir çizgi çizme ve her kesişme noktasının zıt tarafındaki açıları ölçme fikrine benzer. Paralel çizgilerin kendisinin kesişmemesine rağmen, birbirleriyle aynıdır ve aynı değere sahiptir. Eşzamanlı hesaplama durumunda, kesişen çizgi bir bağımlılığa eşdeğer olacaktır.
Aynı bağımlılıkları kullanan çeşitli işlemleri temsil etmek için kullanılan dil ikilidir. Örneğin, bir işlem "AC" harfleriyle, ikinci işlem ise "AB" harfleriyle temsil edilebilir. "0" dijital değeri "AC" işlemine atanabilir ve 1 "ikili" "AB" etiketli işleme atanabilir.
