coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] About duration calculus

From: Yves Bertot <Yves.Bertot AT sophia.inria.fr>
To: Hai WAN <wan.whyhigh AT gmail.com>
Cc: Coq Club <coq-club AT pauillac.inria.fr>
Subject: Re: [Coq-Club] About duration calculus
Date: Mon, 07 Sep 2009 16:57:20 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hai WAN wrote:

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.

What paper are you talking about?

Yves

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