91
IRUS TotalDownloads
Altmetric
Distributed system specification using a temporal-causal framework
| File | Description | Size | Format | |
|---|---|---|---|---|
 Castro-JFBd-1991-PhD-Thesis.pdf | 9.9 MB | Adobe PDF | View/Open |
| Title: | Distributed system specification using a temporal-causal framework |
| Authors: | Castro, Jaelson Freire Brelaz de |
| Item Type: | Thesis or dissertation |
| Content Version: | Imperial Users only |
| Issue Date: | 1991 |
| Date Awarded: | 1991 |
| URI: | http://hdl.handle.net/10044/1/46701 |
| Author: | Castro, Jaelson Freire Brelaz de |
| Department: | Department of Computing |
| Publisher: | Imperial College London |
| Qualification Level: | Doctoral |
| Qualification Name: | PhD |
| Appears in Collections: | University of London awarded theses - Imperial authors |
Unless otherwise indicated, items in Spiral are protected by copyright and are licensed under a Creative Commons Attribution NonCommercial NoDerivatives License.
