A calculus of communicating systems with atomicity and recovery, for protocol specification and design.
| dc.contributor.author | Obaid, Abdellatif. | |
| dc.date.accessioned | 2009-03-23T16:03:08Z | |
| dc.date.available | 2009-03-23T16:03:08Z | |
| dc.date.created | 1991 | |
| dc.date.issued | 1991 | |
| dc.degree.level | Doctoral | |
| dc.description.abstract | Abstract Not Available. | |
| dc.format.extent | 250 p. | |
| dc.identifier.citation | Source: Dissertation Abstracts International, Volume: 53-03, Section: B, page: 1539. | |
| dc.identifier.isbn | 9780315681002 | |
| dc.identifier.uri | http://hdl.handle.net/10393/7774 | |
| dc.identifier.uri | http://dx.doi.org/10.20381/ruor-15503 | |
| dc.publisher | University of Ottawa (Canada) | |
| dc.subject.classification | Engineering, Electronics and Electrical. | |
| dc.title | A calculus of communicating systems with atomicity and recovery, for protocol specification and design. | |
| dc.type | Thesis |
Files
Original bundle
1 - 1 of 1
