Search for persons
X
?
Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data ,
1
Models for Storage in Database Backends:
, In:
?
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data ,
2
A Study of Semantics for CRDT-based Collaborative Spreadshe..:
, In:
?
Lecture Notes in Computer Science; Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education ,
3
Bridging the Gap: Infusing Natural Science Classes with Com..:
, In:
?
Proceedings of the 34th Symposium on Implementation and Application of Functional Languages ,
4
Set-theoretic Types for Erlang:
, In:
?
Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data ,
5
Advanced Domain-Driven Design for Consistency in Distribute..:
, In:
?
Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data ,
6
Access Control Conflict Resolution in Distributed File Syst..:
, In:
?
Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang ,
7
Bidirectional typing for Erlang:
, In:
?
Networked Systems; Lecture Notes in Computer Science ,
8
On the Impossibility of Confidentiality, Integrity and Acce..:
, In:
?
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang ,
9
Teaching practical realistic verification of distributed al..:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
10
Combining State- and Event-Based Semantics to Verify Highly..:
, In:
?
Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data ,
11
AutoCouch : a JSON CRDT framework:
, In:
?
Euro-Par 2018: Parallel Processing; Lecture Notes in Computer Science ,
12
Global-Local View: Scalable Consistency for Concurrent Data..:
, In:
?
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data ,
13
Ensuring referential integrity under causal consistency:
, In:
?
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming ,
14
Practical evaluation of the Lasp programming model at large..:
, In:
?
Proceedings of the 26th International Conference on World Wide Web ,
15