Sciweavers

23557 search results - page 333 / 4712
» Distributed Computing - Introduction
Sort
View
PODC
1998
ACM
15 years 7 months ago
Synthesis of Fault-Tolerant Concurrent Programs
Anish Arora, Paul C. Attie, E. Allen Emerson
112
Voted
PODC
1998
ACM
15 years 7 months ago
An Adaptive Totally Ordered Multicast Protocol That Tolerates Partitions
Gregory Chockler, N. Huleihel, Danny Dolev
96
Voted
CONCUR
1998
Springer
15 years 7 months ago
Detecting Deadlocks in Concurrent Systems
Lisbeth Fajstrup, Eric Goubault, Martin Rauß...
100
Voted
CONCUR
1998
Springer
15 years 7 months ago
A Categorical Axiomatics for Bisimulation
Gian Luca Cattani, John Power, Glynn Winskel