Distributed algorithms simulation with RMI: Total Message Ordering & Global State Detection Chandy-Lamport & The election algorithm of Afek and Gafni for asynchronus network.