The Coq mailing list

[Solange Coupet-Grimal <Solange.Coupet AT cmi.univ-mrs.fr>]

Hui Jiang wrote:

Dear all Coq memebers,
   I hope to be able to use Coq to do some proof works on some kind of labeled transition systems. I don't know if there are any similar work or if some former results have already been  included in the library. Thanks!
 

Best Regards,

            Hui Jiang
            osman AT 263.net

-- Dear Hui Jang,

 You can find on the web a coq users'contribution untitled

   "ccs :Equivalence notions on labelled transitions systems "

where I give the specifications of the three equivalence notions

classically defined on labelled transitions systems,

as well as the proofs of their fundamentals properties.
                                   Solange COUPET-GRIMAL

_______________________________________________________________________________

Laboratoire d'Informatique de Marseille

CMI-39, rue  Frederic Joliot-Curie      Tel : (33) 04 91 11 36 17
13453 Marseille Cedex 13                E-mail : Solange.Coupet AT lim.univ-mrs.fr

_______________________________________________________________________________