335 | -- | 357 | Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern. Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion |
359 | -- | 370 | Martin Hoefer, Siddharth Suri. Dynamics in network interaction games |
371 | -- | 381 | Marcos K. Aguilera, Sam Toueg. The correctness proof of Ben-Or's randomized consensus algorithm |
383 | -- | 409 | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis. A framework for automated distributed implementation of component-based models |