add concurency-semantics framework