Distributed Control Flow with Classical Modal Logic.
Tom Murphy VIIKarl CraryRobert HarperPublished in: CSL (2005)
Keyphrases
- modal logic
- control flow
- data flow
- temporal logic
- inference rules
- classical logic
- distributed systems
- nonmonotonic logics
- software testing
- epistemic logic
- dynamic logic
- conditional logic
- situation calculus
- process model
- cooperative
- default logic
- business process models
- autoepistemic logic
- memory hierarchy
- workflow management systems
- explanation based generalization
- database
- description logic alc
- modal operators
- open source
- multi agent