file extension TLA - TLA - The Temporal Logic of Actions
File type specification:
File type data not available.
Extension icon:
.TLA
File extension TLA description:
TLA (the Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems. It is the basis for TLA+, a complete specification language..tla
