Aurélien Lamercerie, Benoît Caillaud. An Algebra of Deterministic Propositional Acceptance Automata (DPAA). In Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020. pages 1-8, IEEE, 2020. [doi]
Abstract is missing.