Sciweavers

23589 search results - page 450 / 4718
» Uncheatable Distributed Computations
Sort
View
PODC
1998
ACM
15 years 12 months ago
Synthesis of Fault-Tolerant Concurrent Programs
Anish Arora, Paul C. Attie, E. Allen Emerson
CONCUR
1998
Springer
15 years 12 months ago
Detecting Deadlocks in Concurrent Systems
Lisbeth Fajstrup, Eric Goubault, Martin Rauß...