GitHub repository: vasil-sd/parasl-semantics
Description: A formal semantics for parasl experimental language