/* The client-server example. */ // client did not receive answer, thus the service was not executed so far source(2): [1]-executed // client assumes the server crashed: assumption, thus not fully reliable source(1): [1]crashed // client receives answer source(2): [2]executed&-crashed // impossible to recover from crash change(4): -crashed // initial state may be changed by successive observations backward