Bibliography of CoFI Semantics Notes

December 6, 2000

This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.5.

Abstract

This bibliography simply lists the entries in the file cofibib.bib concerning Semantics Notes. The order of listing is determined by the labels.

The documents are available in various formats from the CoFI WWW and FTP archives.

References

 [1]

CoFI Semantics Task Group.
CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary, with annotations concerning questions and doubts.
Note S-1 (revised), in [13], April 1997.

 [2]

Michel Bidoit and Andrzej Tarlecki.
Signature morphisms with compound identifiers in CASL.
Note S-2, in [13], February 1997.

 [3]

Till Mossakowski.
Subsorting and structured specification.
Note S-3, in [13], March 1997.

 [4]

CoFI Semantics Task Group.
CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary, with annotations concerning the semantics of constructs.
Note S-4, in [13], April 1997.

 [5]

Maura Cerioli, Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski.
Permissive subsorted partial logic in CASL.
Note S-5 (to appear in Proc. AMAST'97), in [13], September 1997.

 [6]

CoFI Semantics Task Group.
CASL - The CoFI Algebraic Specification Language (version 0.97) - Semantics.
Note S-6, in [13], July 1997.

 [7]

Till Mossakowski.
Cocompleteness of the CASL signature category.
Note S-7, in [13], February 1998.

 [8]

Till Mossakowski.
Institution-independent semantics for CASL-in-the-large.
Note S-8 (revised), superseded by Note S-10, in [13], October 1998.

 [9]

CoFI Semantics Task Group.
CASL - The CoFI Algebraic Specification Language - Semantics.
Note S-9 (Documents/CASL/Semantics, version 0.96), in [13], July 1999.

 [10]

Till Mossakowski.
Specifications in an arbitrary institution with symbols.
Note S-10 (supersedes Note S-8), in [13], November 1999.

 [11]

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, and Piotr Hoffman.
Semantics of architectural specifications in CASL.
Note S-11, in [13], November 2000.

 [12]

Till Mossakowski, Serge Autexier, and Dieter Hutter.
Extending development graphs with hiding.
Note S-12, in [13], November 2000.

 [13]

CoFI.
The Common Framework Initiative for algebraic specification and development, electronic archives.
Notes and Documents accessible from http://www.brics.dk/Projects/CoFI.