Главная
Блог
Проекты
Трансакционные типы
Нотация и примеры описания трансакций
Простейший пример с очередью
Простейший пример передачи и получения доступа к некоторому ресурсу