Sciweavers

18493 search results - page 56 / 3699
» Timers for Distributed Systems
Sort
View
ICPADS
1994
IEEE
15 years 7 months ago
Toward Semantic-Based Parallelism in Production Systems
Shiow-yang Wu, Daniel P. Miranker, James C. Browne
103
Voted
CONCUR
1992
Springer
15 years 7 months ago
Verification of Parallel Systems via Decomposition
Jan Friso Groote, Faron Moller