Welcome to the Transactor Utility Page

The Transactor model is an extension of the actor model discussed in POPL 2005. It adds a checkpointing system for use in distributed software within unreliable environments. Note that the software discussed below should be considered early alpha software and is not fully functional as-is.