Linear time,branching time and partial order in logics and models for concurrency : proceedings - Bakker J W de; School/Workshop on Linear time,Branching time and Partial Order in Logics and Models for Concurrency( 1988 : Netherlands ); School/Workshop on Linear time,Branching time and Partial Order in Logics and Models for Concurrency , Netherlands 1988 (Berlin Springer Verlag, 1989)
Keywords: Branching time; Computer science; Linear time