Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
Bakker, J. W. de ; Roever, W. -P. de ; Rozenberg, G Rozenberg, G. ; de Roever, W. -P. ; de Bakker, J. W.
Berlin, Heidelberg: Springer Berlin Heidelberg 1989
Texto completo disponível