Title: Formal Description Techniques VIII
Subjects: Electronic data processing, distributed processing, Computer science, Computer network protocols