>_ Anil Madhavapeddy@avsm/
  • About
  • Projects
  • Ideas
  • Papers
  • Notes
  • Talks
  • Network
  • Links
Subscribe
AtomfullJSON Feedfull
AtompermaJSON Feedperma
>_ Anil Madhavapeddy
About
ProjectsIdeas
PapersNotesTalks
NetworkLinks
>_
5 on this site · 12 links
On this siterelevancedate5
Implementing a higher-order choreographic language1st Aug 2024#consensus#distributed#fp#ocamlRaft Refloated: Do We Have Consensus?1st Jan 2015#consensus#distributed-systems#ocaml#systemsRaft Refloated: Do We Have Consensus?1st Jan 2015#consensus#distributed#formal#journal#ocamlAnalysis of the Raft Consensus Protocol1st Jan 2012#:2014-sigops-raft#cloud#consensus#distributed#ocamlPeeking under the hood of High Availability17th Sep 2008#citrix#consensus#distributed#xen
Narrowfilter these results
2008
2024
Linkscited from entries here12
[OCaml24] ChorCaml: Functional Choreographic Programming in OCamlAug 2024youtube.com
OCaml 2024Aug 2024ocaml2024.hotcrp.com
ChorCaml: Functional Choreographic Programming in OCaml (OCaml 2024 - OCaml Users and Developers Workshop 2024) - ICFP 2024Aug 2024icfp24.sigplan.org
GitHub - Rokcas/chorcamlAug 2024github.com
Just a moment...Aug 2024dl.acm.org
Department of Computer Science and Technology – Technical reports: UCAM-CL-TR-857Jan 2012cl.cam.ac.uk
https://raft.github.io/raft.pdfJan 2012raft.github.io
CitrixSep 2008web.archive.org
XenServer5 | THE BLOG | The Wonderful World of ServersSep 2008xenserver5.com
404: This page could not be foundSep 2008gotfuturama.com
Page not foundSep 2008docs.xensource.com
Just a moment...Sep 2008community.citrix.com

© 1998–2026 Anil Madhavapeddy.

{} md