3 ms·Usually temporal logic of actions. Lamport's thing. Extremely worth a look.by JonChesterfield 10mo agoUsually temporal logic of actions. Lamport's thing. Extremely worth a look.