Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30

J. W. de Bakker Willem P. de Roever Grzegorz Rozenberg Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings REX Workshop Lecture Notes in Computer Science 354 Springer 1989 3-540-51080-X db/conf/rex/rex88.html