Exercise Set 11 - NTNU

Exercise 11: Counting. 1. The goal of this exercise is to understand the consistency properties of the bounded max register implementation from the lecture.