Dynamic Communicating Automata and Branching High-Level MSCs.

Benedikt Bollig Aiswarya Cyriac Loïc Hélouët Ahmet Kara Thomas Schwentick

Published in: LATA (2013)

Keyphrases

high level
low level
higher level
genetic algorithm
information systems
case study
dynamic environments
cellular automata
databases
real world
website
intermediate level
tree automata