Сейчас в универе изучаем сабжевый предмет и поэтому хотелось бы у вас спросить — а зачем это нужно в реальность программисту. Что я подразумеваю под "это" — теорию асинхронных процессов, модель Маллера, сети Петри и т.д.??
Кто-нибудь этим реально в свое программисткой дейтельности пользовался??