On the expressive power of CSP extended by priority

Detalles Bibliográficos
Autor Principal: Roscoe, A
Formato: Journal article
Publicado: 2014