On the expressive power of CSP extended by priority

Бібліографічні деталі
Автор: Roscoe, A
Формат: Journal article
Опубліковано: 2014