Subject: Re: Temporal e
From: Moshe Vardi (vardi@cs.rice.edu)
Date: Thu Jul 12 2001 - 05:58:07 PDT
But the documents include full-fledged negation, which you told us it
not part of Temporal e. What about Firstmatch (which hides negation
inside)? What about U (which hides Firstmatch inside)?
Moshe
>
> it is exactly the language whose syntax and semantics are described in
> detail in the documents we submitted to OVI over 18 months ago.
>
> vardi> Matthew, I am afraid that at this point, and having received
> vardi> the omega-semantics document only yesterday, I am not sure
> vardi> what exactly is the "Temoral e" language that Verisity is
> vardi> proposing to Accelera.
This archive was generated by hypermail 2b28 : Thu Jul 12 2001 - 05:59:32 PDT