coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] About duration calculus

From: Hai WAN <wan.whyhigh AT gmail.com>
To: Coq Club <coq-club AT pauillac.inria.fr>
Subject: [Coq-Club] About duration calculus
Date: Mon, 7 Sep 2009 21:55:34 +0800
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=erFQggIBRSXrtocOVs7mGABAr6eDPbAEjCNElbJAYboHk9PuAtL9uDrIg05q0Jkkfk 2NUBFqTOHacbWstmde1wKA+3uDHx9dfypeXuMEgaClNErNc65V4+9Z6jZSKKWLZXMZwT WonamT+g4+5R+8Np6OxOLmn9s2PYB0tYCywTg=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Dear all,

Is there any existing implementation of duration calculus in Coq? I searched using Google and only found one paper. The implementation mentioned in the paper is not available.

Can anyone help? Thanks in advance.

--
Best regards,
Hai WAN

[Coq-Club] About duration calculus, Hai WAN
- Re: [Coq-Club] About duration calculus, Yves Bertot
  - Re: [Coq-Club] About duration calculus, Samuel Colin