A language (ISO 8807-1990) for formal specification of computer network protocols; describes the order in which events occur.
A language (ISO 8807-1990) for formal specification of computer network protocols; describes the order in which events occur.