Using Event Calculus for Protocol Specification: An Experiment.
Marc DeneckerGuy DuchateletFrank PiessensKristof Van BelleghemDanny De SchreyePublished in: Deductive Databases / Abduction in Deductive Databases (1995)
Keyphrases
- event calculus
- protocol specification
- situation calculus
- communication protocols
- formal specification
- deductive databases
- temporal reasoning
- partially ordered
- reasoning tasks
- domain specific knowledge
- transitive closure
- formal methods
- integrity constraints
- directed acyclic graph
- temporal information
- database systems
- partial order
- transformation rules
- communication protocol
- model checking