Xinxin, Liu <br/><br/>
Specification and decomposition in concurrency/ 
by Liu Xinxin. 
 - Aalborg, Denmark:  University of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science,  [1992]. 
 - 200 p.:  ill.;  30 cm. 
 - Report / University of Aalborg. Institute for Electronic Systems. Dept. of Mathematics and Computer Science,  R 92- 2005. .
 - Report (Aalborg universitetscenter. Afdeling for matematik og datalogi)  R 92-2005. .
<br/><br/> Cover title.  "April 1992." 
<br/><br/>Thesis (Ph. D.)--University of Aalborg, 1992. 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Concurrent programming.