Choreography Automata.

Franco Barbanera Ivan Lanese Emilio Tuosto

Published in: COORDINATION (2020)

Keyphrases

cellular automata
service oriented architecture
finite state
finite automata
probabilistic automata
regular expressions
lattice gas
database
data mining
expert systems
hidden markov models
petri net
finite state machines
turing machine