A postmarital agreement must be executed by both parties voluntarily and will not be valid if one of the parties is under duress or coerced in any way.
Assumptions:
* reliable channels messages are eventually delivered to their intended recipients, even in the face of router failure
Failure Detectors- can do either by querying a process to see...