A derivation of a broadcasting protocol using sequentially phased reasoning.
Frank A. StompPublished in: PSTV (1990)
Keyphrases
- data dissemination
- knowledge base
- lightweight
- real time
- reasoning process
- reasoning systems
- knowledge representation
- cryptographic protocols
- formal analysis
- legal reasoning
- application layer
- coloured petri nets
- protocol specification
- communication protocols
- analogical reasoning
- automated reasoning
- end to end
- multimedia
- artificial intelligence
- data sets