Using TLA+ to Understand Xen Vchan


New top story on Hacker News: Using TLA+ to Understand Xen Vchan