Work and studies in concurrent programming logics