Bakker, J.W. de2022-03-022022-03-0219893-540-51080-X0-387-51080-Xhttps://publica.fraunhofer.de/handle/publica/126466Linear time, branching time and partial order in logics and models for concurrency