Translating FSP into LOTOS and networks of automata.

Frédéric Lang Gwen Salaün Rémi Hérilier Jeff Kramer Jeff Magee

Published in: Formal Aspects Comput. (2010)

Keyphrases

telecommunication networks
cellular automata
finite automata
data sets
social networks
decision trees
sensor networks
complex systems
complex networks
heterogeneous networks