A counter-example to an algorithm for the generalized input-output construct of CSP.
| الحاوية / القاعدة: | Information processing letters. 61, 6 (1997). |
|---|---|
| المؤلف الرئيسي: | |
| التنسيق: | مقال |
| اللغة: | English |
| الموضوعات: |
| الحاوية / القاعدة: | Information processing letters. 61, 6 (1997). |
|---|---|
| المؤلف الرئيسي: | |
| التنسيق: | مقال |
| اللغة: | English |
| الموضوعات: |