The Power of the Future Perfect in Program Logics

Matthew Hennessy Colin Stirling

Published in: Inf. Control. (1985)

Keyphrases

expressive power
long term
data mining
modal logic
default reasoning
conditional logic
real time
social networks
multiscale
artificial neural networks
test cases
computer programs
current status
classical logic
power distribution