Това е само предварителен преглед!
Средства от високо ниво
Езикова конструкция ”критична секция”. За да се избегнат грешките,зависещи от от времето Хоар и Хансен предлагат метода на Дейкстра да се формализира в термините на езиците от по-високо ниво...