Optimistic Recovery in Distributed Systems
- Rob Strom
- Shaula Yemini
- 1985
- ACM Transactions on Computer Systems (TOCS)
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
16 results for Shaula Yemini
A Modular Verifiable Exception Handling Mechanism
- Shaula Yemini
- Daniel M. Berry
- 1985
- ACM Transactions on Programming Languages and Systems (TOPLAS)
The NIL Distributed Systems Programming Language: A Status Report
- Rob Strom
- Shaula Yemini
- 1985
- ACM SIGPLAN Notices
NIL: An Integrated Language and System for Distributed Programming
- Robert E. Strom
- Shaula Yemini
- 1983
- ACM SIGPLAN Notices
High speed and robust event correlation
- Shaula Alexander Yemini
- Shmuel Kliger
- et al.
- 1996
- IEEE Communications Magazine
Typestate: A Programming Language Concept for Enhancing Software Reliability
- Robert E. Strom
- Shaula Yemini
- 1986
- IEEE Transactions on Software Engineering