Hi Dmitry, More comments: * I would rewrite this "This subclause defines a notion of the set of semantic leading clocks for a multiclocked sequence or property." With This subclause gives a more precise treatment of the restrictions of a unique leading clock. The present treatment depends on the notion of the set of semantic leading clocks for a multiclocked sequence or property. * I think that the last part of 16.15.1 starting from "The rules for using multiclocked overlapping implication and if/if-else in the presence of an incoming outer clock can now be stated more precisely." Should be removed * I would add a sentence saying what does it mean that the top level property has a unique leading clock. Without such description, 16.15.1 does not have a purpose. This is not entirely trivial, because you may have a set of two leading clocks when one of them is inherited. In this case the inferred clock must be equal to the other clock in the set. Doron --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Dec 5 00:43:24 2007
This archive was generated by hypermail 2.1.8 : Wed Dec 05 2007 - 00:43:34 PST