Dynamic analysis of event orderings in message-passing systems

Fidge, Colin J2017-12-202017-12-201989b1739699http://hdl.handle.net/1885/138395vii, 229 leavesenComputer algorithmsParallel programming (Computer science)Dynamic analysis of event orderings in message-passing systems198910.25911/5d6f9d5c29a3b2017-11-22