Title: Formal Description Techniques, V
Subjects: Electronic data processing, Distributed processing, Congresses, Computer network protocols, Formal languages