Leslie Lamport: The Specification Language TLA+

Leslie Lamport

in In Logics of Specification Languages

2008 | In Logics of Specification Languages, Dines Bjørner and Martin C. Henson, editors. edition

Dines Bjarner and Martin C. Henson

View Publication

This is a “review” of a chapter by Stephan Merz in the same book. It is mainly a brief account of the history behind TLA and TLA+. It includes an interesting quote from Brannon Battson. (See [146].)