This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.3.
We introduce a notion of institution with symbols that can be used to make the semantics of CASL structured and architectural specifications mostly institution-independent - only a few parts of the semantics (those dealing with symbol maps) remain institution-specific. Even compound identifiers can be treated in an institution-independent way using this relatively simple setting - in a previous version of this note, a much more complex notion of "institution with compound identifiers" was introduced, which now has been abandoned.
The rest of this document has not yet been converted to Hypertext; please refer to the FTP directory indicated above for the full document.