A calculus of communicating systems with atomicity and recovery, for protocol specification and design.
| Title: | A calculus of communicating systems with atomicity and recovery, for protocol specification and design. |
| Author: | Obaid, Abdellatif. |
| Abstract: | Abstract Not Available. |
| Date: | 1991 |
| URI: | http://hdl.handle.net/10393/7774 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| NN68100.PDF | 4.350Mb | application/pdf |
View/ |