Title: Process algebras with data
Subjects: Multitasking (Computer science), Data transmission systems, Algebraic logic