Title

Linear time, branching time and partial order in logics and models for concurrency

Title Supplement

School/workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988

Person Involved

Publisher

Publishing Place

Berlin

Publication Date

1989

Series

Lecture Notes in Computer Science; 354

ISBN

3-540-51080-X

0-387-51080-X

Conference