Before revision:  Here, we present a formal definition of a digital social contracts as a transition system that specifies a system of automata, one automaton per party, which communicate asynchronously via crypto-speech acts, where the output of each automaton is the input of all the other automata .
After revision:  Here, we present a formal definition of a digital social contract as agents that communicate asynchronously via crypto-speech acts, where the output of each automaton is the input of all the other automata .