Comment by neilwilson

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.