Example 1: A Concurrent Counter

class counter

attr value: 0

meth inc

help: int

help := counter + 1

value := help

end

end

mycounter:

value: 3

Previous slide

Next slide

Back to first slide

View graphic version