equal
deleted
inserted
replaced
63 |
63 |
64 (*Upper bound on the time of reaction of a server*) |
64 (*Upper bound on the time of reaction of a server*) |
65 RespLife :: nat |
65 RespLife :: nat |
66 |
66 |
67 rules |
67 rules |
68 AuthLife_LB "# 2 <= AuthLife" |
68 AuthLife_LB "2 <= AuthLife" |
69 ServLife_LB "# 2 <= ServLife" |
69 ServLife_LB "2 <= ServLife" |
70 AutcLife_LB "Suc 0 <= AutcLife" |
70 AutcLife_LB "Suc 0 <= AutcLife" |
71 RespLife_LB "Suc 0 <= RespLife" |
71 RespLife_LB "Suc 0 <= RespLife" |
72 |
72 |
73 translations |
73 translations |
74 "CT" == "length" |
74 "CT" == "length" |