Title: Linear time, branching time, and partial order in logics and models for concurrency
Subjects: Parallel processing (Electronic computers), Distributed processing, Electronic data processing