On the expressive power of CSP extended by priority

Bibliografiset tiedot
Päätekijä: Roscoe, A
Aineistotyyppi: Journal article
Julkaistu: 2014