8 search results - page 1 / 2 » ccs 1993 |
CCS
1993
ACM
13 years 10 months ago
1993
ACM
CCS
1993
ACM
13 years 10 months ago
1993
ACM
CCS
1993
ACM
13 years 10 months ago
1993
ACM
ECOOP
1993
Springer
13 years 10 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 10 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...