Re: Temporal e

Subject: Re: Temporal e
From: Moshe Vardi (vardi@cs.rice.edu)
Date: Wed Jul 11 2001 - 00:10:30 PDT

• Next message: Sandeep K. Shukla: "RE: A Complexity Question (was RE: Temporal e)"
• Previous message: Moshe Vardi: "Re: A Complexity Question (was RE: Temporal e)"
• Reply: Matthew Morley: "Re: Temporal e"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Matthew, I am afraid that at this point, and having received
the omega-semantics document only yesterday, I am not sure
what exactly is the "Temoral e" language that Verisity is
proposing to Accelera.

Moshe

• Next message: Sandeep K. Shukla: "RE: A Complexity Question (was RE: Temporal e)"
• Previous message: Moshe Vardi: "Re: A Complexity Question (was RE: Temporal e)"
• Reply: Matthew Morley: "Re: Temporal e"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Jul 11 2001 - 00:11:13 PDT