Personensuche
X
?
Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data ,
4
Composing and decomposing op-based CRDTs with semidirect pr..:
, In:
?
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data ,
10
Towards property-based consistency verification:
, In:
?
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming ,
12
Lasp : a language for distributed, coordination-free pro..:
, In:
?
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang ,
13
The implementation and use of a generic dataflow behaviour ..:
, In:
?
Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data ,
14
Lasp : a language for distributed, eventually consistent..:
, In:
?
2015 IEEE 34th Symposium on Reliable Distributed Systems Workshop (SRDSW) ,
15