8 search results - page 1 / 2 » ccs 1993 |
CCS
1993
ACM
13 years 9 months ago
1993
ACM
CCS
1993
ACM
13 years 9 months ago
1993
ACM
CCS
1993
ACM
13 years 9 months ago
1993
ACM
ECOOP
1993
Springer
13 years 9 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
CCS
1993
ACM
13 years 9 months ago
1993
ACM
Designers of cryptographic systems are at a disadvantage to most other engineers, in that information on how their systems fail is hard to get: their major users have traditionall...