Programming Actor Systems / Maude Rewrite Systems / /
Currency
USD / /
Facility
Rensselaer Polytechnic Institute / /
IndustryTerm
distributed computing / computing / grid systems / bank / dependence worldview union algorithm / distributed systems / web services / /
Organization
Rensselaer Polytechnic Institute / Graduate Faculty / /
Person
George / Bob / Carlos Varela / Brian Boodman / /
Position
programming model for computing with distributed state / TRANSACTOR MODEL / Salsa actor / Thesis Adviser / Transactor Model of Reliable Distributed Computing / actor / programmer / /
Product
Salsa / /
ProgrammingLanguage
Java / /
Technology
4 The dependence worldview union algorithm / two-phase commit protocol / two-phase checkpointing protocol / Java / /
IMPLEMENTING AND VERIFYING THE SAFETY OF THE TRANSACTOR MODEL By Brian Boodman A Thesis Submitted to the Graduate Faculty of Rensselaer Polytechnic Institute