Title: Formal mechanization of device interactions with a process algebra
Subjects: Electronic data processing