On the expressiveness of CSP

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