Turing machines, transition systems, and interaction. - Dina Q. Goldin; Scott A. Smolka; Paul C. Attie; Elaine L. Sonderegger (Inf. Comput., 2004)

A formal treatment of an abstract channel implementation using java sockets and TCP. - Chryssis Georgiou; Peter M. Musial; Alexander A. Shvartsman; Elaine L. Sonderegger (PODC, 2007)

An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets. - Chryssis Georgiou; Peter M. Musial; Alexander A. Shvartsman; Elaine L. Sonderegger (NCA, 2008)

Online Selection of Quorum Systems for RAMBO Reconfiguration. - Laurent Michel; Martijn Moraal; Alexander A. Shvartsman; Elaine L. Sonderegger; Pascal Van Hentenryck (CP, 2009)

Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. - Laurent D. Michel; Pascal Van Hentenryck; Elaine L. Sonderegger; Alexander A. Shvartsman; Martijn Moraal (CPAIOR, 2009)

Optimizing Network Deployment of Formally-Specified Distributed Systems. - Carleton Coffrin; Laurent D. Michel; Alexander A. Shvartsman; Elaine L. Sonderegger; Pascal Van Hentenryck (SEDE, 2009)

Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. - Laurent Michel; Alexander A. Shvartsman; Elaine L. Sonderegger; Pascal Van Hentenryck (CP, 2010)

Optimal deployment of eventually-serializable data services. - Laurent D. Michel; Alexander A. Shvartsman; Elaine L. Sonderegger; Pascal Van Hentenryck (Ann. Oper. Res., 2011)