Consider a counter defined as a device that can hold a natural number,
increment its value, or decrement it, but if the value of the counter is zero,
decrementing it does not change the value of the counter. Write a process
expression defining such a counter.
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here