Propositional Logics of Programs: Systems, Models, and Complexity.

Published in: POPL (1980)

Keyphrases

complex systems
management system
computational models
computer programs
physical systems
probabilistic model
finite state machines
hidden markov models
intelligent systems
computer systems
model selection
expressive power
causal models
accurate models