Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering

B. Nick Rossiter, David A. Nelson, Michael A. Heather. Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering. In ICEIS (1). pages 366-373, 2003.

Abstract

Abstract is missing.