A propositional modal logic of time intervals
A really abstract concurrent model and its temporal logic