Modal Scenarios as Automata.

David Harel Amir Kantor

Published in: Language, Culture, Computation (1) (2014)

Keyphrases

cellular automata
real world
modal logic
finite state machines
database systems
database
databases
case study
three dimensional
lattice gas