Sciweavers

28821 search results - page 23 / 5765
» Distributed and parallel systems
Sort
View
CONCUR
1998
Springer
15 years 4 months ago
Detecting Deadlocks in Concurrent Systems
Lisbeth Fajstrup, Eric Goubault, Martin Rauß...
90
Voted
REX
1993
15 years 4 months ago
Verification Tools for Finite-State Concurrent Systems
Edmund M. Clarke, Orna Grumberg, David E. Long