File Download
Supplementary
-
Citations:
- Appears in Collections:
postgraduate thesis: Towards a new extension relation for compositional test case generation for CSP concurrent processes
| Title | Towards a new extension relation for compositional test case generation for CSP concurrent processes |
|---|---|
| Authors | |
| Issue Date | 2003 |
| Publisher | The University of Hong Kong (Pokfulam, Hong Kong) |
| Citation | Chan, W. [陳榮光]. (2003). Towards a new extension relation for compositional test case generation for CSP concurrent processes. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3124518 |
| Degree | Doctor of Philosophy |
| Subject | Computer software - Testing. Parallel processing (Electronic computers) |
| Dept/Program | Computer Science and Information Systems |
| Persistent Identifier | http://hdl.handle.net/10722/50818 |
| HKU Library Item ID | b3124518 |
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Chan, Wing-kwong. | - |
| dc.contributor.author | 陳榮光. | - |
| dc.date.issued | 2003 | - |
| dc.identifier.citation | Chan, W. [陳榮光]. (2003). Towards a new extension relation for compositional test case generation for CSP concurrent processes. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3124518 | - |
| dc.identifier.uri | http://hdl.handle.net/10722/50818 | - |
| dc.language | eng | - |
| dc.publisher | The University of Hong Kong (Pokfulam, Hong Kong) | - |
| dc.relation.ispartof | HKU Theses Online (HKUTO) | - |
| dc.rights | The author retains all proprietary rights, (such as patent rights) and the right to use in future works. | - |
| dc.rights | This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License. | - |
| dc.source.uri | http://hub.hku.hk/bib/B31245183 | - |
| dc.subject.lcsh | Computer software - Testing. | - |
| dc.subject.lcsh | Parallel processing (Electronic computers) | - |
| dc.title | Towards a new extension relation for compositional test case generation for CSP concurrent processes | - |
| dc.type | PG_Thesis | - |
| dc.identifier.hkul | b3124518 | - |
| dc.description.thesisname | Doctor of Philosophy | - |
| dc.description.thesislevel | Doctoral | - |
| dc.description.thesisdiscipline | Computer Science and Information Systems | - |
| dc.description.nature | published_or_final_version | - |
| dc.identifier.doi | 10.5353/th_b3124518 | - |
| dc.date.hkucongregation | 2004 | - |
| dc.identifier.mmsid | 991012469189703414 | - |