Elaine L. Sonderegger

From MaRDI portal
(Redirected from Elaine L. Sonderegger)



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