cofi-language Mail Archive Threads 2000
Thread index
Last updated: Tue Jan 02 23:15:04 2001
25 messages
CASL-CHART extension of CASL for reactive systems,
Gianna Reggio
Paper on relating CASL to other languages,
Till Mossakowski
Language Design Meeting at ETAPS; Basic Datatypes v0.4,
Bernd Krieg-Brückner
Position of Comments and Annotations,
Bernd Krieg-Brückner
[CASL] Re: Position of Comments and Annotations,
Peter D. Mosses
Minutes of Berlin meeting,
Andrzej Tarlecki
Paper on a state-based extension of CASL,
Hubert Baumeister
[CoFI] CASL v1.0.1 Summary DRAFT installed,
pdm
ETAPS 2001: FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS,
Etaps 2001
Suggestion for minor change of the concrete syntax,
Michel Bidoit
Pushout property,
Till Mossakowski
New version 0.4.1 of the Basic Datatypes,
Markus Roggenbach
First two CASL Case Studies on the Web,
Hubert Baumeister
Extended Deadline - UML'2000 WORKSHOP DYNAMIC BEHAVIOUR IN,
Gianna Reggio
Extended Deadline - UML'2000 WORKSHOP DYNAMIC BEHAVIOUR...,
Gianna Reggio
WADT/CoFI 2001: Call for abstracts,
WADT 2001
ETAPS 2001: Deadline Approaching,
Etaps 2001
URGENT - IMPORTANT - ANSWER NOW !!!,
Bernd Krieg-Brueckner
ETAPS 2002 - Call for Satellite Events,
Etaps 2002
WADT/CoFI 2001 - SECOND CALL FOR ABSTRACTS,
WADT 2001
Towards a new version of the Basic Datatypes,
Markus Roggenbach
Partial and total function symbols,
Till Mossakowski
Mail converted by MHonArc 2.4.6