previous up next
Go backward to Examining Formula Phi
Go up to Top
Go forward to Semantics of Simple TLA
RISC-Linz logo

Syntax of Simple TLA

TLA logic without quantification.


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next