A calculus of communicating systems with atomicity and recovery, for protocol specification and design.

A calculus of communicating systems with atomicity and recovery, for protocol specification and design.

Show simple item record

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

Files in this item

Files Size Format View
NN68100.PDF 4.350Mb application/pdf View/Open

This item appears in the following Collection(s)

Show simple item record


Contact information

Morisset Hall (map)
65 University Private
Ottawa ON Canada
K1N 6N5

Tel. 613-562-5800 (4563)
Fax 613-562-5195

ruor@uottawa.ca