A compositional semantics for reconfigurable multi-mode interaction in R-CHECK

Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano 0001, Nir Piterman. A compositional semantics for reconfigurable multi-mode interaction in R-CHECK. STTT, 28(2):199-218, April 2026. [doi]

Abstract

Abstract is missing.