A counter-example to an algorithm for the generalized input-output construct of CSP.
| Publicat a: | Information processing letters. 61, 6 (1997). |
|---|---|
| Autor principal: | |
| Format: | Article |
| Idioma: | English |
| Matèries: |
| Publicat a: | Information processing letters. 61, 6 (1997). |
|---|---|
| Autor principal: | |
| Format: | Article |
| Idioma: | English |
| Matèries: |