Hi John, Here are my comments: Page 6. * I think that the terms "semantic leading edge" and "inherited" clock require a formal definition * The definition push(E; r) = \kappa(r) (1, E) ##0 ( r ) does not say anything about the case when r matches an empty word * The definition of push(...|=>...) does say about the case when r matches the empty word, but we don't have a definition of the empty word match before the rewriting Thanks, Dmitry -----Original Message----- From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek Sent: Thursday, July 12, 2007 3:52 PM To: sv-ac@server.eda-stds.org Subject: [sv-ac] 1668-formal-semantics.pdf Hi All: I have uploaded the 1668-formal-semantics.pdf to Mantis and attached it here. J.H. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Jul 25 07:55:54 2007
This archive was generated by hypermail 2.1.8 : Wed Jul 25 2007 - 07:56:00 PDT