Report copyright - The Temporal Logic of Actions - lamport.azurewebsites.net · The temporal logic of actions (TLA) is a logic for specifying and reasoning about concurrent systems. Systems and their
Please pass captcha verification before submit form