On Concurrency Formalization |
|
| Type | Ph.D. thesis [Academic thesis] |
| Year | 1985 Month May |
| Publisher | Department of Computer Science |
| Address | Technical University of Denmark, Lyngby, Denmark |
| Note | 496 pages. Report no. ID-TR:85-3. |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |