On the expressive power of CSP extended by priority

Detalhes bibliográficos
Autor principal: Roscoe, A
Formato: Journal article
Publicado em: 2014