Other Relevant Work
Other Relevant Work
Last modified 17 April 2013
This page contains links to pages outside the TLA+ and TLAPS web sites
that is related to TLA. Most of the sites listed are old, and
there are undoubtedly more recent sites that should be here. If
you'd like links to your work added to this page, contact us.
- A TLA+ Workshop
- These are the slides of talks and the submitted papers from
a TLA+ workshop that was held in Paris on 27 August 2012 in conjunction
with the FM 2012 conference.
-
Stephan Merz
- A page containing several papers on TLA by Stephan Merz, as well as
a link to
Isabelle/TLA,
Merz's encoding of TLA in the higher-order logic of the generic interactive
theorem prover Isabelle. (That page includes a machine-checked proof
of
The Dagstuhl RPC-Memory Example.)
- Work With and On Lamport's TLA .
- Publications by
the Networks and Distributed Systems group at the University of
Bielefeld, headed by
Peter Ladkin. They are all dated 1996 and 1997, but at least
some of them are still worth reading.
-
Tools for TLA based specifications
- This page describes work done in the early 1990s at the
University
of Dortmund, Department of Computer Science by the
Computer Networks and Distributed Systems group
headed by Dr. Heiko Krumm.
-
