| 2002 | A Design of Multi-Startegy Parallelization for an Entire Application of Document Categorization on Low-Cost Multiprocessor PCs. Stéphane Vialle, Guillaume Schaeffer, Michel Ianotto |
| 2002 | A Distributed Algorithm for Unstable Global Predicate Evaluation with Approximately Synchronized Clocks. Shilpa Bansod, Jean Mayo |
| 2002 | A Distributed Algorithm for the Validation of Timed State Machines. Xavier Rebeuf, G. Satriano, Françoise Simonot-Lion |
| 2002 | A good balance between weight and distances for multipoint trees. Christian Laforest |
| 2002 | An Architectural Approach to Replication Configuration. Vania Marangozova, Daniel Hagimont |
| 2002 | An Implementation of Causal Memories using the Writing Semantic. Roberto Baldoni, C. Sparziani, Sara Tucci Piergiovanni, Daniela Tulone |
| 2002 | Automatic Parallelization of numerical programss : Application to Solve Linear Dense and Sparse Systemss. Michel Cosnard |
| 2002 | Black Hole Search by Mobile Agents in Hypercubes and Related Networks. Stefan Dobrev, Paola Flocchini, Rastislav Kralovic, Giuseppe Prencipe, Peter Ruzicka, Nicola Santoro |
| 2002 | Bounding the makespan of best pre-schedulings of task graphs with fixed communication delays and random execution times on a virtual distributed system. Moustafa Nakechbandi, Christian Delaruelle, Jean-Yves Colin |
| 2002 | Converging toward Decision Conditions. Emmanuelle Anceaume, Eric Mourgaya, Philippe Raipin Parvédy |
| 2002 | End-point Identifiers in Secure Multi-homed Mobility. Jukka Ylitalo, Petri Jokela, Jorma Wall |
| 2002 | Failure sensitive analysis for parallel algorithm with controlled memory access concurrency. Chryssis Georgiou, Alexander Russell, Alexander A. Shvartsman |
| 2002 | Functional Architecture of the NODS Fault Tolerance Framework. Phuong-Quynh Duong, Elizabeth Pérez Cortés, Christine Collet |
| 2002 | LCIASA: A Useful Language for Specification and Verification of Agent-Based Systems. Nicandro Farías Mendoza, Félix F. Ramos Corchado, Victor M. Larios-Rosillo |
| 2002 | Load Balance Protocol of Cluster on Grid: Pervasive Maximum Algorithmic Parallelism. Tsuyoshi Okita |
| 2002 | Managing Dependencies in Dynamic Collaborations using Coordination Diagrams. Laura Margarita Rodríguez Peralta, Thierry Villemur, Khalil Drira, José Martín Molina Espinosa |
| 2002 | Paxos Made Simple, Fast, and Byzantine. Leslie Lamport |
| 2002 | Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, Reims, France, December 11-13, 2002 Alain Bui, Hacène Fouchal |
| 2002 | Simple Gossipping with Balls and Bins. Boris Koldehofe |
| 2002 | Sun Platform. Henri Gouraud |
| 2002 | Testing temporal and behavior events on timed systems with timed test purposes. Sébastien Salva |
| 2002 | The Incidence of the Controllable Parameters in Routing Algorithms Based on Ant Colony Optimization. Rolando Francisco Vallejo, Edgar Emmanuel Vallejo, Roberto Gómez Cárdenas |
| 2002 | Transparent Data Relocation in Highly Available Distributed Systems. Spyros Voulgaris, Maarten van Steen, Aline Baggio, Gerco Ballintijn |
| 2002 | Verification of CORBA systems with composition of Well Formed Nets. Clément Delamare, Yvon Gardan, Patrice Moreaux |
| 2002 | What happens? On notions of event in formal methods and elsewhere. Tommaso Bolognesi |
| 2002 | k-Coteries for Tolerating Network 2-Partition. Takashi Harada, Masafumi Yamashita |