cofi-language Mail Archives 1999

• Thread Index

• Y2K problem - the solution
  99/12/20 -- Till Mossakowski
• CASL-LTL extension of CASL for reactive systems
  99/12/10 -- Gianna Reggio
• Assistant Professor for Secure Systems
  99/11/25 -- Bernd Krieg-Brückner
• New Version 0.3 of the Basic Datatypes
  99/11/17 -- Markus Roggenbach
• Some Remarks on %cons-Annotations
  99/10/20 -- Dieter Hutter
• REMINDER: CoFI publications !!!
  99/10/07 -- bkb
• No Subject
  99/10/01 -- bkb
• Final Proposal for Annotation IMPLIES
  99/10/01 -- Markus Roggenbach
• minutes of LD Meeting at Bonas
  99/09/30 -- bkb
• Re: predicate definitions in CASL
  99/09/30 -- Dieter Hutter
• predicate definitions in CASL
  99/09/29 -- Don Sannella
• Re: Second Bremen Proposal on an Annotation IMPLIES
  99/07/28 -- Michel Bidoit
• [CoFI] New release of CASL v1.0 Summary installed
  99/07/23 -- Peter Mosses
• Second Bremen Proposal on an Annotation IMPLIES
  99/07/19 -- Markus Roggenbach
• New version of the Casl parser
  99/07/13 -- Mark van den Brand
• Remaining Syntax Issues and Revised literal syntax
  99/07/12 -- Till Mossakowski
• Re: Literal Syntax
  99/07/08 -- Peter Mosses
• Re: Literal Syntax
  99/07/07 -- Markus Roggenbach
• Re: Literal syntax
  99/07/06 -- Peter Mosses
• Re: Revised List of Changes
  99/07/06 -- Peter Mosses
• Literal syntax
  99/06/29 -- Till Mossakowski
• CASL Revised List of Changes installed
  99/06/24 -- Peter D. Mosses
• Re: annotation for implies
  99/06/18 -- Andrzej Tarlecki
• annotation for implies
  99/06/18 -- Peter Mosses
• Conditions for free types
  99/05/20 -- Till Mossakowski
• [CoFI] Minutes of the Language Design Group Meeting
  99/05/05 -- Bernd Krieg-Brueckner
• Proposal of some annotations and literal syntax in CASL
  99/03/12 -- Markus Roggenbach
• [CoFI] Proposed Changes to the CASL Summary
  99/03/11 -- Peter Mosses
• [CoFI] Agenda of the Language Design Task Group Meeting
  99/03/09 -- bkb