nayo yatangaje ko izakomeza gukoresha gahunda yo kwigishiriza kuri murandasi the principal application of these logics is in writing specifications for concurrent systems baca uyu mugani bashaka kuvuga nyiribyago