Title :
IEE Colloquium on `Formal Methods for Protocols´ (Digest No.043)
Abstract :
The following topics were dealt with: the use of formal methods in communications standards; using LOTOS for OSI; formal design techniques in the implementation of concurrency; CCS-recent applications, experience with tools, current and planned research
Keywords :
formal specification; open systems; protocols; standards; CCS; LOTOS; OSI; calculus of communicating systems; communications standards; concurrency; formal design techniques; formal methods; research;
Conference_Titel :
Formal Methods for Protocols, IEE Colloquium on
Conference_Location :
London
