aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/distributed_programming.md
diff options
context:
space:
mode:
authorEduardo Julian2020-11-28 19:45:56 -0400
committerEduardo Julian2020-11-28 19:45:56 -0400
commita02b7bf8ff358ccfa35b03272d28537aeac723ae (patch)
tree66f27c97f192d31d7cbee6b87be5ac6546640253 /documentation/bookmark/distributed_programming.md
parent889139602b77e4387a6e8bfbedacc2a08703e976 (diff)
Added "private" macro to lux/debug.
Diffstat (limited to 'documentation/bookmark/distributed_programming.md')
-rw-r--r--documentation/bookmark/distributed_programming.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/documentation/bookmark/distributed_programming.md b/documentation/bookmark/distributed_programming.md
index 916bdfcea..57802f081 100644
--- a/documentation/bookmark/distributed_programming.md
+++ b/documentation/bookmark/distributed_programming.md
@@ -59,6 +59,7 @@
# Programming language
+1. [Choral: a choreographic programming language](https://www.choral-lang.org/)
1. ["Unison: a new distributed programming language" by Paul Chiusano](https://www.youtube.com/watch?v=gCWtkvDQ2ZI)
1. http://radicle.xyz/
1. [Lambda World 2018 - Introduction to the Unison programming language - RĂșnar Bjarnason](https://www.youtube.com/watch?v=rp_Eild1aq8)
@@ -83,6 +84,7 @@
# Logical clock
+1. [Interval Tree Clocks](https://ferd.ca/interval-tree-clocks.html)
1. [Version Vectors are not Vector Clocks](https://haslab.wordpress.com/2011/07/08/version-vectors-are-not-vector-clocks/)
1. [Distributed Systems: Physical, Logical, and Vector Clocks](https://levelup.gitconnected.com/distributed-systems-physical-logical-and-vector-clocks-7ca989f5f780)
1. [The Bloom Clock](https://arxiv.org/pdf/1905.13064.pdf)