Formal Interoperability Writings

This page contains links to various papers, position papers, proposals by Meseguer and/or Talcott related to Formal Interoperability.

Achieving Formal Interoperability ( Position paper for Seke98 Formal Methods Panel)
Formal Foundations for Compositional Software Architectures (Position Paper for 1998 Workshop on Compositional Software Architectures)
Mathematical and Engineering Foundations for Interoperability via Architecture (NSF-CNPq proposal)
A Reflective Framework for Formal Interoperability (Technical Extract from Arpa proposal)
Semantic Foundations for Composition and Interoperation of Open Systems ( Extract from NSF-Darpa EDCS )

This page maintained by Carolyn Talcott.

Last updated 14 October 1998.