Duplication Grouping Semantics in the Session Description Protocol.
Ali C. BegenYiqun CaiHeidi OuPublished in: RFC (2014)
Keyphrases
- precise definition
- action descriptions
- semantic representation
- formal semantics
- coloured petri nets
- lightweight
- perceptual organization
- semantic information
- high level
- perceptual grouping
- cryptographic protocols
- graphical representation
- authentication protocol
- correctness criterion
- grouping algorithm
- programming language
- website