spec-vchan icon indicating copy to clipboard operation
spec-vchan copied to clipboard

verified publisher icon talex5
→

Metadata

A TLA+ specification for the Xen vchan protocol

This repository contains a TLA+ specification for Xen vchan protocol. See the vchan.tla file for details.

For a gentle introduction to this spec and some background on TLA+, see Using TLA+ to Understand Xen Vchan.

← Metadata

15
Stars
0
Forks
Watchers

Owner

verified publisher icon talex5

Metadata

A TLA+ specification for the Xen vchan protocol

Back