Semantic Foundations for Composition and Interoperation of Open Systems
The objective of the proposed research is to develop a semantic foundation for semantic composition and interoperation of heterogeneous components of open systems. Composition and interoperation occur at many levels (requirements, specification, code, exec
Proposal to NSF ()
Semantic Foundations for Composition and Interoperation of Open Systems
Principal Investigators John McCarthy, Stanford University and Carolyn Talcott, Stanford University


