The aim of the proposal was to develop ρLog calculus to support concurrency. To achieve the goal we developed parallel sequence/context matching algorithm.

პროექტში მონაწილე პერსონალი:

• Besik Dundua (პროექტის ხელმძღვანელი)