| 000 | 00525nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1990 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aErdogmus, M. Hakan _9791427 |
||
| 100 |
_aJohnston, Robert _978492 |
||
| 245 | 0 | _aonSpecification and Synthesis of Communicating Processes | |
| 300 | _a1412-1426 p. | ||
| 650 |
_aCommunicating Processes _9782539 |
||
| 650 |
_aConcurrent Programs _9773477 |
||
| 650 |
_aDistributed Systems _9715815 |
||
| 773 |
_d1990 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c750193 _d750193 |
||