The most prominent example may be the ambient calculus.
Geriausiai žinomas pavyzdys gali būti aplinkos skaičiavimas.