Login / Signup

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