Changes by: dnoblet (dnoblet at unknown.email)
Date: 2005-08-29 18:47:37 -0700 (Mon, 29 Aug 2005)
Revision: 1949
Log message:
This is a draft model of the group communication view change written in TLA+. It is incomplete, but it should be syntactically correct.