working on new branch for merging concurrent and distributed systems in a new one presenting both specifications