Concurrent Gaussian Elimination

Final Project for Concurrency Theory course at AGH University. The project is based on Trace Theory that provides tools useful for designing concurrent systems.