Developing new process calculi for better modeling of computational phenomena.
Naujų procesų skaičiavimų kūrimą, kad būtų galima geriau modeliuoti apskaičiavimo reiškinį.