Title: Formal Methods for Concurrency
Subjects: Computer multitasking, Parallel processing (Electronic computers), Database management, Mathematical models, Distributed databases, Computer networks