@inproceedings{ea7e53234f124fe4b1153ae92059e92b,
title = "Exploiting algebraic laws to improve mechanized axiomatizations",
abstract = "In the field of structural operational semantics (SOS), there have been several proposals both for syntactic rule formats guaranteeing the validity of algebraic laws, and for algorithms for automatically generating ground-complete axiomatizations. However, there has been no synergy between these two types of results. This paper takes the first steps in marrying these two areas of research in the meta-theory of SOS and shows that taking algebraic laws into account in the mechanical generation of axiomatizations results in simpler axiomatizations. The proposed theory is applied to a paradigmatic example from the literature, showing that, in this case, the generated axiomatization coincides with a classic hand-crafted one.",
author = "L. Aceto and E.I. Goriac and A. Ing{\'o}lfsd{\'o}ttir and M.R. Mousavi and M.A. Reniers",
year = "2013",
doi = "10.1007/978-3-642-40206-7_5",
language = "English",
isbn = "978-3-642-40205-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "36--50",
editor = "R. Heckel and S. Milius",
booktitle = "Algebra and Coalgebra in Computer Science (5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings)",
address = "Germany",
note = "conference; 5th International Conference on Algebra and Coalgebra in Computer Science; 2013-09-03; 2013-09-06 ; Conference date: 03-09-2013 Through 06-09-2013",
}