Title: Logics for concurrency
Subjects: Electronic data processing, Distributed processing, Parallel processing (Electronic computers), Electronic data processing, distributed processing