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

Project members:

• Besik Dundua (Principal Investigator)