Re: Temporal e

Subject: Re: Temporal e
From: David Van Campenhout (dvc@verisity.com)
Date: Tue Jul 10 2001 - 09:37:49 PDT

• Next message: Bernard Deadman: "Re: Temporal e"
• Previous message: David Van Campenhout: "Re: Temporal e"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

To answer some of the questions regarding temporal e, we would like to
share a draft of a tech report describing the omega semantics of
temporal e with the committee.
(Harry: please update your list of documents.)

David

• application/octet-stream attachment: temporal_e:omega_semantics

• Next message: Bernard Deadman: "Re: Temporal e"
• Previous message: David Van Campenhout: "Re: Temporal e"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Tue Jul 10 2001 - 09:38:53 PDT