Extensions to communicating sequential processes to allow protocol performance specification.

Published in: Comput. Commun. Rev. (1987)

Keyphrases

protocol specification
communication channels
lightweight
process model
formal analysis
state machines
information systems
high level
multi agent systems
efficient implementation
sharing information
cryptographic protocols
dispute resolution