A Derivation of a Broadcasting Protocol Using Sequentially Phased Reasoning.
Frank A. StompPublished in: REX Workshop (1989)
Keyphrases
- data dissemination
- knowledge representation
- knowledge base
- automated reasoning
- reasoning systems
- cryptographic protocols
- communication protocol
- lightweight
- reasoning process
- digital video
- coloured petri nets
- qualitative reasoning
- formal analysis
- multi party
- meta level
- analogical reasoning
- network protocols
- application layer
- model based reasoning
- key distribution