ทฤษฎีการสืบค้นกลับเกี่ยวข้องกับวิธีที่คอมพิวเตอร์ฮาร์ดแวร์และซอฟต์แวร์ประมวลผลคำสั่งพร้อมกัน บางครั้งเรียกว่าการคำนวณพร้อมกันและอาจเปรียบเทียบกับแนวคิดของการคำนวณแบบขนาน แนวคิดหลักที่อยู่เบื้องหลังการคำนวณพร้อมกันคือกระบวนการต่าง ๆ ใช้ทรัพยากรเดียวกันและขึ้นอยู่กับแต่ละกระบวนการ ศูนย์กลางของทฤษฎีการสืบค้นกลับคือความคิดที่ว่ามีรูปแบบและความสัมพันธ์ที่เป็นไปได้จำนวนไม่สิ้นสุด
ฮาร์ดแวร์คอมพิวเตอร์และภาษาโปรแกรมส่วนใหญ่ได้รับการออกแบบตามทฤษฎีการสืบค้นกลับ คำนวณพร้อมกันตรวจสอบสิ่งที่กำลังประมวลผลและกิจกรรมการประมวลผลที่เกิดขึ้น ในขณะที่กระบวนการพร้อมกันที่ใช้ทรัพยากรเดียวกันมักจะเป็นอิสระจากกัน แต่ก็สามารถโต้ตอบกันได้ แนวคิดของกระบวนการพึ่งพาซึ่งกันและกันเป็นแกนหลักของการคำนวณพร้อมกันและกราฟการพึ่งพา
แม้ว่ากระบวนการคำนวณแต่ละอย่างอาจเกิดขึ้นแยกจากกันกราฟแสดงการพึ่งพาแสดงว่ากระบวนการใดอาจใช้ฮาร์ดแวร์หรือซอฟต์แวร์เดียวกัน ในกราฟและการคำนวณเหล่านี้ปัจจัยที่ขึ้นต่อกันอาจมีป้ายกำกับด้วยตัวอักษร "C" หรือ "D" กราฟการพึ่งพาแสดงให้เห็นว่าหากกระบวนการสองกระบวนการใช้ปัจจัยบางอย่างกระบวนการอื่น ๆ ที่มีตัวระบุที่เหมือนกันก็จะขึ้นอยู่กับปัจจัยเดียวกันด้วย
เนื่องจากทฤษฎีการสืบค้นกลับพยายามอธิบายว่ากระบวนการคำนวณและคำสั่งต่าง ๆ เกิดขึ้นอย่างไรกราฟการพึ่งพาไม่เพียง แต่ระบุว่ามีการใช้ทรัพยากรใดบ้าง แต่เส้นทางและเส้นทางที่กระบวนการกำลังดำเนินอยู่ มันเป็นสิ่งสำคัญที่จะต้องคำนึงถึงว่าทฤษฎีระบุว่ามีเพียงจำนวนหนึ่งของการพึ่งพาอาศัยกันหรือความสัมพันธ์ที่สามารถเกิดขึ้นได้กับปัจจัยหนึ่ง ในขณะที่จำนวนของรูปแบบในการคำนวณพร้อมกันนั้นไม่มีที่สิ้นสุดเพียงจำนวนกระบวนการที่เลือกเท่านั้นที่จะสร้างการพึ่งพาที่เหมือนกันหรือใช้ทรัพยากรเดียวกัน
ทฤษฎีการติดตามแสดงให้เห็นว่ากระบวนการแบบขนานมีความเท่าเทียมกันทางคณิตศาสตร์ มันคล้ายกับแนวคิดของการใช้เส้นขนานสองเส้นวาดเส้นตัดผ่านพวกมันและวัดมุมที่ด้านตรงข้ามของแต่ละจุดตัดกัน แม้ว่าเส้นขนานจะไม่ตัดกัน แต่ก็เหมือนกันและมีค่าเท่ากัน ในกรณีของการคำนวณพร้อมกันเส้นตัดกันจะเทียบเท่ากับการอ้างอิง
ภาษาที่ใช้แสดงถึงกระบวนการต่าง ๆ ที่ใช้การอ้างอิงเดียวกันคือไบนารี ตัวอย่างเช่นกระบวนการหนึ่งอาจแสดงด้วยตัวอักษร "AC" ในขณะที่กระบวนการที่สองแสดงด้วยตัวอักษร "AB" ค่าไบนารีของ "0" สามารถกำหนดให้กับกระบวนการ "AC" และค่าไบนารีของ 1 จะถูกกำหนดให้กับกระบวนการที่มีป้ายกำกับ "AB"
