Soft constraint automata with memory - Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco (Journal of logical and algebraic methods in programming, 2021)
Keywords: Automata with memory; Constraint automata; Reo language; Soft constraints; Soft constraints; Reo language; Constraint automata; Automata with memory