“…Often these pseudo-codes use syntactical constructs such as repeat periodically (Chandra & Toueg, 1996) (Aguilera, Chen, & Toueg, 1999) (Bertier, Marin, & Sens, 2002), at time t send heartbeat (Chen, Toueg, & Aguilera, 2002;Bertier et al, 2002), at time t check whether message has arrived , or upon receive , together with several variants (see Table 1). Such syntactical constructs are not often found in COTS programming languages such as C or C++, which leads us to the problem of translating the protocol specifications into running software prototypes using one such standard language.…”