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 |
| विषय: |