Filters: Date: "2002-01-15" Collection: ir_uspace
1 - 25 of 1
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Morelli, Robert | Formal aspects of anonymity | We present a formal definition of anonymity in the context of concurrent processes. The definition is given in category theoretic terms. Moreover, the concept of a split cofibration is shown to both simplify the analysis of anonymity as well as to increase the framework's expressiveness. Because ... | Anonymity; Concurrent processes | 2002-01-15 |
1 - 25 of 1