About: dbkwik:resource/KbEMQBNEqKFkJTK93OvjaA==

Property	Value
rdfs:label	TLA
rdfs:comment	TLA (Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems, developed by Leslie Lamport↑.
owl:sameAs	dbr:Temporal_logic_of_actions
dcterms:subject	Formal methods
dbkwik:formalmethods/property/wikiPageUsesTemplate	dbkwik:resource/6rtchO8QZOwb0xqq7pHkwQ==
abstract	TLA (Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems, developed by Leslie Lamport↑.