On the expressive power of CSP extended by priority

Bibliographic Details
Main Author: Roscoe, A
Format: Journal article
Published: 2014