SiteMap Search ElispArea HowTo Glossary RecentChanges News Problems Suggestions
Cameroon, National Day

TemporalLogicOfActionsMode

Difference between revision 3 and current revision

Summary: Rollback to 2008-09-05 00:16 UTC

No diff available.

TemporalLogicOfActionsMode is an Emacs mode for editing specifications in TemporalLogicOfActionsPlus? (TLA+), a formal specification language defined by LeslieLamport? on top of his TemporalLogicOfActions?.

TemporalLogicOfActionsMode can be downloaded from http://ls4-www.informatik.uni-dortmund.de/RVS/P-TLA/TEM/tem.html.


CategoryModes ProgrammingModes