Sign in
Logics for Concurrency: Structure Versus Automata.
Faron Moller
Published in:
ACM Comput. Surv. (1996)
Keyphrases
</>
expressive power
knowledge representation
databases
network structure
modal logic
data flow