Automata for True Concurrency Properties.

Paolo Baldan Tommaso Padoan

Published in: FoSSaCS (2018)

Keyphrases

desirable properties
cellular automata
data sets
real world
computer vision
case study
database systems
multi agent systems
management system
topological properties
formal language