It appears to be deterministic in a static structure. If your program adds and deletes actors, then LF has problems. It tries to get around this with modes.
Sim-Diasca is an Erlang simulation system that implements the superdense time step mechanism used in LF via distributed time managers and a global barrier which gives repeatable results.
Sim-Diasca is an Erlang simulation system that implements the superdense time step mechanism used in LF via distributed time managers and a global barrier which gives repeatable results.