Generic support for synchronization and consistency in Arias.

Elizabeth Prez Corts, Pascal Dechamboux, Jay Han

Browse the full HotOS paper archive.