Bibliography of CoFI Semantics Notes

March 19, 1999

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

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 [10], April 1997.

 [2]

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

 [3]

Till Mossakowski.
Subsorting and structured specification.
Note S-3, in [10], 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 [10], 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 [10], September 1997.

 [6]

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

 [7]

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

 [8]

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

 [9]

CoFI Semantics Task Group.
CASL - The CoFI Algebraic Specification Language - Semantics.
Note S-9 (version 0.95), in [10], March 1999.

 [10]

CoFI.
The Common Framework Initiative for algebraic specification and development, electronic archives.
Notes and Documents accessible by WWW and FTP.