- Lamport, L. (1978). Time, clocks, and the ordering of events in a distributed system. Communications of the ACM. doi:10.1145/359545.359563
- Friedman,D. P and Hemann, J. µKanren: A Minimal Functional Core for Relational Programming.
- Lamport, L. (2001). Paxos made simple. ACM Sigact News, 32(4), 18-25.
-
Notifications
You must be signed in to change notification settings - Fork 0
papers-we-love-stockholm/papers
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
List of papers
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published