Two papers on VAL

Papers describing how the semantics of events and processes are
implemented in VAL.