Sciweavers

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