Title: Logics and Models of Concurrent Systems
Subjects: Computer Communication Networks, Computer science, Parallel processing (electronic computers), Electronic data processing, distributed processing