Ознакомительный фрагмент. Получить полный доступ
Introduction to Concurrency Theory: Transition Systems and CCS