by Willem-Paul de Roever, Grzegorz Rozenberg, J. W. de Bakker, W.-P. de Roever
"This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1…