Atomic Data Abstractions in a Distributed Collaborative Editing System (Extended Abstract)
This paper describes our experience implementing CES, a distributed Collaborative Editing System written in Argus, a language that includes facilities for managing long-lived distributed data. Argus provides atomic actions, which simplify the handling of concurrency and failures, and t the mechanism...
Main Authors: | Greif, Irene, Selinger, Robert, Weihl, William |
---|---|
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149104 |
Similar Items
-
Full Abstraction for PCF (Extended Abstract)
by: Abramsky, S, et al.
Published: (1994) -
Extended Abstracts
Published: (1977-01-01) -
Extended Abstract
by: John Maher, et al.
Published: (2016-05-01) -
Extended Abstracts
Published: (2017-08-01) -
Combinatorial formulas for ⅃-coordinates in a totally nonnegative Grassmannian, extended abstract, extended abstract
by: Kelli Talaska
Published: (2009-01-01)