An Algebra of Deterministic Propositional Acceptance Automata (DPAA)

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

Abstract is missing.