Sciweavers

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