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

Obaid, Abdellatif.2009-03-232009-03-2319911991Source: Dissertation Abstracts International, Volume: 53-03, Section: B, page: 1539.9780315681002http://hdl.handle.net/10393/7774http://dx.doi.org/10.20381/ruor-15503Abstract Not Available.250 p.Engineering, Electronics and Electrical.A calculus of communicating systems with atomicity and recovery, for protocol specification and design.Thesis