tlaplus

#博客#A selection of textbook-like course notes for the Imperial College Computing modules.

Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).

TLA+ Code to TeX Code using tla2tools.jar

Jupiter Refinement Project

Formalization of the (VIS, AR) Specification Framework for Both Transactional and Non-Transactional Consistency Models