design principles; formal description techniques; complexity; communication system development; communication protocols; structural models; behavioral models; Petri nets; LOTOS; relational notation; Z notation; Object-Z; formal specification; Petri nets; protocols.
(xsd:string)