Elaine L. Sonderegger

From MaRDI portal
Person:703843


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A formal treatment of an abstract channel implementation using java sockets and TCP
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
2014-03-13Paper
Optimal deployment of eventually-serializable data services
Annals of Operations Research
2011-06-22Paper
Turing machines, transition systems, and interaction
Information and Computation
2005-01-11Paper


Research outcomes over time


This page was built for person: Elaine L. Sonderegger