2008 |
4 | EE | Laurent Michel,
Alexander A. Shvartsman,
Elaine L. Sonderegger,
Pascal Van Hentenryck:
Optimal Deployment of Eventually-Serializable Data Services.
CPAIOR 2008: 188-202 |
3 | EE | Chryssis Georgiou,
Peter M. Musial,
Alexander A. Shvartsman,
Elaine L. Sonderegger:
An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets.
NCA 2008: 211-219 |
2007 |
2 | EE | Chryssis Georgiou,
Peter M. Musial,
Alexander A. Shvartsman,
Elaine L. Sonderegger:
A formal treatment of an abstract channel implementation using java sockets and TCP.
PODC 2007: 334-335 |
2004 |
1 | EE | Dina Q. Goldin,
Scott A. Smolka,
Paul C. Attie,
Elaine L. Sonderegger:
Turing machines, transition systems, and interaction.
Inf. Comput. 194(2): 101-128 (2004) |