Sciweavers

41650 search results - page 213 / 8330
» Distribution of
Sort
View
PODC
1998
ACM
15 years 9 months ago
Synthesis of Fault-Tolerant Concurrent Programs
Anish Arora, Paul C. Attie, E. Allen Emerson
CONCUR
1998
Springer
15 years 9 months ago
Detecting Deadlocks in Concurrent Systems
Lisbeth Fajstrup, Eric Goubault, Martin Rauß...
109
Voted
CONCUR
1998
Springer
15 years 9 months ago
A Categorical Axiomatics for Bisimulation
Gian Luca Cattani, John Power, Glynn Winskel