H. Christiansen, M. H. Kirkeby: “Confluence of CHR revisited: invariants and modulo equivalence”. In Logic-Based Program Synthesis and Transformation, 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. A part of Lecture Notes in Computer Science, Vol. 11408, pp. 83–99. DOI: 10.1007/978-3-030-13838-7_6 Abstract Abstract simulation of one transition system by another is introduced as a means to simulate a potentially infinite class […]
Confluence and Convergence in Probabilistically Terminating Reduction Systems
Maja H. Kirkeby and Henning Christansen, “Confluence and Convergence in Probabilistically Terminating Reduction Systems,” in LOPSTR 2017, LNCS vol. 10855.