Title: Formal description techniques, IX
Subjects: Computer network protocols, Computer programming, Congresses, Distributed processing, Electronic data processing, Formal languages, Formal methods (Computer science)