On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend

Hemant K. Bhargava, Ramayya Krishnan, Peter Piela. On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend. INFORMS Journal on Computing, 10(2):189-208, 1998. [doi]

Abstract

Abstract is missing.