Formalisation of the Concurrency Semantic Property

This work formalizes the concurrency semantic property. It is a work in progress and will be updated with future work including publications on this research that are in development.