Sciweavers

28821 search results - page 518 / 5765
» Distributed and parallel systems
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
A Categorical Axiomatics for Bisimulation
Gian Luca Cattani, John Power, Glynn Winskel