Sciweavers

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