CASL-CHART extension of CASL for reactive systems

[hussmann@inf.tu-dresden.de]

>From: reggio@disi.unige.it (Gianna Reggio)

Dear Cofi friends
finally I have been able to prepare a written documentation of a proposal
for  an extension of CASL for reactive systems:  CASL-CHART,
which is a combination of CASL and of state charts, as supported by STATEMATE

An introductory paper  can be found at

 ftp://ftp.disi.unige.it/person/ReggioG/ReggioRepetto00b.ps

While a precise presentation of the syntax and of the semantics is in

 ftp://ftp.disi.unige.it/person/ReggioG/ReggioRepetto00a.ps



Best regards
  Gianna