BibTeX
@MISC{Meseguer98formalinteroperability,
author = {José Meseguer},
title = {Formal Interoperability},
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper I briefly sketch recent work on meta-logical foundations that seems promising as a conceptual basis on which to achieve the goal of formal interoperability. Specificaly, I will briefly discuss:
