section_heading: Konkurentnost i paralelizam
paragraph_text: Church-Rosserovo svojstvo lambda računa znači da se evaluacija (β-redukcija) može izvesti u bilo kojem redoslijedu, čak i konkurentno. (Uistinu, lambda račun je referencijski transparentan.) Iako ovo znači da lambda račun može modelirati razne nedeterminističke evaluacijske strategije, ne pruža neku bogatiju notaciju paralelizma, niti može izraziti bilo koji problem konkurentnosti. Aktor model i procesni računi kao što su CSP, CCS, π račun i ambijentalni račun su dizajnirani s takve svrhe.