%0 Book
%A  J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
%T Linear time, branching time, and partial order in logics and models for concurrency :
%U /book/89975269/Linear-time-branching-time-and-partial-order-in/