Constraint automata with memory cells and their composition

Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab. Constraint automata with memory cells and their composition. Science of Computer Programming, 146:50-86, 2017. [doi]

Abstract

Abstract is missing.