Syntax and consistent equation semantics of hybrid Chi

D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers. Syntax and consistent equation semantics of hybrid Chi. Journal of Logic and Algebraic Programming, 68(1-2):129-210, 2006. [doi]

Abstract

Abstract is missing.