Reliable broadcasts and communication models: tradeoffs and lower bounds Özalp BabaogluPat StephensonRogério Drummond OriginalPaper Pages: 177 - 189
Semantics and verification of monitors and systems of monitors and processes Stein Gjessing OriginalPaper Pages: 190 - 200
An approach to efficient distributed transactions Paolo AncilottiAntonia BertolinoMario Fusani OriginalPaper Pages: 201 - 212
Exhaustive analysis and simulation for distributed systems, both sides of the same coin Ana R. CavalliEtienne Paul OriginalPaper Pages: 213 - 225
Appraising fairness in languages for distributed programming Krzysztof R. AptNissim FrancezShmuel Katz OriginalPaper Pages: 226 - 241