On the expressive power of CSP extended by priority

Bibliographische Detailangaben
1. Verfasser: Roscoe, A
Format: Journal article
Veröffentlicht: 2014