Advertisement

Author Archives

Research and Advances

Proving monitors

Interesting scheduling and sequential properties of monitors can be proved by using state variables which record the monitors' history and by defining extended proof…

Shape the Future of Computing

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.

Get Involved