Proposition of formalism : CCS and CASL

[Gwen Salaun <Gwen.Salaun@irin.univ-nantes.fr>]

Dear colleagues,

At Nantes (France) we have worked on a proposition of formalism
combining CCS and CASL. This language binds the language CASL with the
process algebra CCS. The combination is formally defined (syntax and
semantic). Existings tools could be used to partially verify the
specifications written with the formalism. The complete work concerning
the language is detailed in a report available at
http://www.sciences.univ-nantes.fr/info/perso/permanents/salaun/papers/rr0014.ps

Any suggestion is welcome.


Best regards,

Gwen Salaun