LIPIcs - Leibniz International Proceedings in Informatics. 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)
Doi
Abstract
We describe our ongoing work on generalizing some quantitatively constrained notions of weak simulation up-to that are recently introduced for deterministic systems modeling program execution. We present and discuss a new notion dubbed preorder-constrained simulation that allows comparison between words using a preorder, instead of equality
