| 000 | 01263n a2200289#a 4500 | ||
|---|---|---|---|
| 001 | 8487 | ||
| 005 | 20221213135804.0 | ||
| 008 | 950406s1992 dk a tb 000 0 eng d | ||
| 035 | _aocm32262218 | ||
| 035 | _aRecord 16200 | ||
| 040 |
_aPMC _cPMC |
||
| 049 | _aP5AA | ||
| 090 | _atext | ||
| 100 | 0 |
_aXinxin, Liu _930397 |
|
| 245 | 1 | 0 |
_aSpecification and decomposition in concurrency/ _cby Liu Xinxin. |
| 260 |
_aAalborg, Denmark: _bUniversity of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, _c[1992]. |
||
| 300 |
_a200 p.: _bill.; _c30 cm. |
||
| 490 | 1 |
_aReport / University of Aalborg. Institute for Electronic Systems. Dept. of Mathematics and Computer Science, _vR 92- 2005. |
|
| 500 | _aCover title. | ||
| 500 | _a"April 1992." | ||
| 502 | _aThesis (Ph. D.)--University of Aalborg, 1992. | ||
| 504 | _aIncludes bibliographical references. | ||
| 650 | 0 | 4 |
_aConcurrent programming. _930398 |
| 697 |
_aTeses Externas _924308 |
||
| 830 | 0 |
_aReport (Aalborg universitetscenter. Afdeling for matematik og datalogi) _vR 92-2005. _929882 |
|
| 942 |
_2impa _cTHESIS |
||
| 999 |
_aXINXIN, Liu. <b> Specification and decomposition in concurrency. </b> <b></b> Aalborg, Denmark, [1992]. 200 p. Thesis (Ph. D.)--University of Aalborg. _c9489 _d9489 |
||