?
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 ,
3
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 ,
4
Bridging the Gap: Infusing Natural Science Classes with Com..:
, In:
?
Proceedings of the 34th Symposium on Implementation and Application of Functional Languages ,
5
Set-theoretic Types for Erlang:
, In:
?
Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data ,
7
Advanced Domain-Driven Design for Consistency in Distribute..:
, In:
?
Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data ,
8
Access Control Conflict Resolution in Distributed File Syst..:
, In:
?
Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang ,
9
Bidirectional typing for Erlang:
, In:
?
Networked Systems; Lecture Notes in Computer Science ,
11
On the Impossibility of Confidentiality, Integrity and Acce..:
, In:
?
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang ,
13
Teaching practical realistic verification of distributed al..:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
14
Combining State- and Event-Based Semantics to Verify Highly..:
, In:
?
Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data ,
15