cofi-reactive Mail Archives 2000

• Thread Index

• CoFI-R Publications
  00/10/20 -- hussmann
• Extended Deadline - UML'2000 WORKSHOP DYNAMIC BEHAVIOUR IN UML MODELS
  00/07/26 -- reggio
• New paper & Web site Updated
  00/06/08 -- reggio
• Paper on a state-based extension of CASL
  00/05/19 -- Hubert Baumeister
• Minutes of the Berlin meeting (30 March/1 April)
  00/04/10 -- hussmann
• Draft papers for Berlin meeting
  00/03/22 -- hussmann
• Meeting in Berlin: Attendance
  00/03/08 -- hh14
• CoFI Workshop in Berlin during ETAPS
  00/03/03 -- hussmann
• Re: CoFI Reactive web page
  00/02/14 -- Gianna Reggio
• CoFI Reactive web page
  00/02/11 -- hussmann
• Minutes of Genova workshop last weekend
  00/02/11 -- hussmann
• Agenda for workshop in Genova
  00/02/03 -- hussmann
• CASL-CHART extension of CASL for reactive systems
  00/02/02 -- hussmann
• Genova meeting - hotels
  00/01/17 -- hussmann
• New moderator
  00/01/17 -- hussmann
• Invitation to meeting in February
  00/01/13 -- hussmann