Abstract is missing.
- Verifying the Consistency of Remote Untrusted Services with Commutative OperationsChristian Cachin, Olga Ohrimenko. 1-16 [doi]
- Logical Physical ClocksSandeep S. Kulkarni, Murat Demirbas, Deepak Madappa, Bharadwaj Avva, Marcelo Leone. 17-32 [doi]
- Be General and Don't Give Up Consistency in Geo-Replicated Transactional SystemsAlexandru Turcu, Sebastiano Peluso, Roberto Palmieri, Binoy Ravindran. 33-48 [doi]
- Distributed Local Approximation of the Minimum k-Tuple Dominating Set in Planar GraphsAndrzej Czygrinow, Michal Hanckowiak, Edyta Szymanska, Wojciech Wawrzyniak, Marcin Witkowski. 49-59 [doi]
- Time Lower Bounds for Distributed Distance OraclesTaisuke Izumi, Roger Wattenhofer. 60-75 [doi]
- Erasure-Coded Byzantine Storage with Separate MetadataElli Androulaki, Christian Cachin, Dan Dobre, Marko Vukolic. 76-90 [doi]
- BChain: Byzantine Replication with High Throughput and Embedded ReconfigurationSisi Duan, Hein Meling, Sean Peisert, Haibin Zhang. 91-106 [doi]
- RoBuSt: A Crash-Failure-Resistant Distributed Storage SystemMartina Eikel, Christian Scheideler, Alexander Setzer. 107-122 [doi]
- Checkpointing in Parallel State-Machine ReplicationOdorico Machado Mendizabal, Parisa Jalili Marandi, Fernando Luís Dotti, Fernando Pedone. 123-138 [doi]
- Strong Equivalence Relations for Iterated ModelsZohir Bouzid, Eli Gafni, Petr Kuznetsov. 139-154 [doi]
- The Opinion Number of Set-AgreementPierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers. 155-170 [doi]
- On the Importance of Registers for ComputabilityRati Gelashvili, Mohsen Ghaffari, Jerry Li, Nir Shavit. 171-185 [doi]
- Scalable Wake-up of Multi-channel Single-Hop Radio NetworksBogdan S. Chlebus, Gianluca De Marco, Dariusz R. Kowalski. 186-201 [doi]
- A Disruption-Resistant MAC Layer for Multichannel Wireless NetworksHenry Tan, Chris Wacek, Calvin C. Newport, Micah Sherr. 202-216 [doi]
- Distributed Computing by Mobile Robots: Solving the Uniform Circle Formation ProblemPaola Flocchini, Giuseppe Prencipe, Nicola Santoro, Giovanni Viglietta. 217-232 [doi]
- Approximation Algorithms for the Set Cover Formation by Oblivious Mobile RobotsTomoko Izumi, Sayaka Kamei, Yukiko Yamauchi. 233-247 [doi]
- Fast Collisionless Pattern Formation by Anonymous, Position-Aware RobotsTamás Lukovszki, Friedhelm Meyer auf der Heide. 248-262 [doi]
- Tradeoffs between Cost and Information for Rendezvous and Treasure HuntAvery Miller, Andrzej Pelc. 263-276 [doi]
- Maintaining a Spanning Forest in Highly Dynamic Networks: The Synchronous CaseMatthieu Barjon, Arnaud Casteigts, Serge Chaumette, Colette Johnen, Yessin M. Neggaz. 277-292 [doi]
- A Communication-Efficient Self-stabilizing Algorithm for Breadth-First Search TreesAjoy Kumar Datta, Lawrence L. Larmore, Toshimitsu Masuzawa. 293-306 [doi]
- Self-stabilizing Algorithms for Connected Vertex Cover and Clique Decomposition ProblemsFrançois Delbot, Christian Laforest, Stephane Rovedakis. 307-322 [doi]
- Fast and Compact Distributed Verification and Self-stabilization of a DFS TreeShay Kutten, Chhaya Trehan. 323-338 [doi]
- Loosely-Stabilizing Leader Election on Arbitrary Graphs in Population ProtocolsYuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa. 339-354 [doi]
- LCD: Local Combining on DemandDana Drachsler-Cohen, Erez Petrank. 355-371 [doi]
- ParMarkSplit: A Parallel Mark-Split Garbage Collector Based on a Lock-Free Skip-ListNhan Nguyen, Philippas Tsigas, Håkan Sundell. 372-387 [doi]
- Practical Concurrent Unrolled Linked Lists Using Lazy SynchronizationKenneth Platz, Neeraj Mittal, Subbarayan Venkatesan. 388-403 [doi]
- Space- and Time-Efficient Long-Lived Test-And-Set ObjectsZahra Aghazadeh, Philipp Woelfel. 404-419 [doi]
- WFR-TM: Wait-Free Readers without Sacrificing Speculation of WritersPanagiota Fatourou, Eleni Kanellou, Eleftherios Kosmas, Md Forhad Rabbi. 420-436 [doi]
- On Developing Optimistic Transactional Lazy SetAhmed Hassan, Roberto Palmieri, Binoy Ravindran. 437-452 [doi]
- On the Mailbox ProblemUri Abraham, Gal Amram. 453-468 [doi]
- Distributed UniversalityMichel Raynal, Julien Stainer, Gadi Taubenfeld. 469-484 [doi]
- A Practical Distributed Universal Construction with Unknown ParticipantsPierre Sutra, Etienne Rivière, Pascal Felber. 485-500 [doi]