MatiasVara/MyPhdThesis
This repository contains my PhD thesis named "BCOoL: the Behavioural Coordination Operator Language". Find latest version in the releases section.
TeXGPL-2.0
This repository contains my PhD thesis named "BCOoL: the Behavioural Coordination Operator Language". Find latest version in the releases section.
TeXGPL-2.0