00866nam a2200193 a 450000500170000000800410001702000180005803500150007604100070009105000190009811101460011724502230026326000370048630000120052344000490053565000320058470000280061670000280064420260818145558.0                                          a0 540 51080 X  a.b104036070 aEn  aQA402 S36 1988  aSchool/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, the Netherlands, 1988 0aLinear time,bbranching time and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988 / J. W. de Bakker, W.-P. de Roever and G. Rozenberg, [eds.]  aBerlin :bSpringer-Verlag,c1989  a713  p. 0aLecture notes in computer science ;vno. 354 0aSystem analysisxCongresses  aBakker, J. W. dec, ed.  aRoever, W.-P. dec, ed.