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.
docs.txt, it is possible to use included flex/yacc to generate files. See generator folder for examples of this.
samples/InitProg.maudefunctions as a loader to initialize the rewrite system.
Outside.java(and associated classes) act as a prototype of a real-world transactor implementation, with
BoxProgram.javabeing an example program. See
README.rtffor documentation. Based on a modified version of the POPL model which is more outdated than the thesis version.