503 search results - page 13 / 101 » Data Flow Analysis for CCS |
PASTE
1999
ACM
15 years 2 months ago
1999
ACM
LCPC
1997
Springer
15 years 2 months ago
1997
Springer
EUROMICRO
1996
IEEE
15 years 2 months ago
1996
IEEE
POPL
1994
ACM
15 years 2 months ago
1994
ACM
DEXAW
2004
IEEE
15 years 1 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...