coq-club AT inria.fr

Subject: The Coq mailing list

List archive

on Labeled Transition System

From: Hui Jiang <osman AT 263.net>
To: coq mail list <coq-club AT pauillac.inria.fr>
Subject: on Labeled Transition System
Date: Wed, 18 Apr 2001 15:21:20 +0800

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

on Labeled Transition System, Hui Jiang
- Re: on Labeled Transition System, Solange Coupet-Grimal