Hi John, What is the leading clock of q in ">> @(c) ( @(d) p and q )"? Doron >> What is not so clear is how the clock flow interacts with the parsing >> resolution of operands, which may involve introducing implicit >>parentheses. >> We may need to work out some more formal representation of the clock >>flow. >> >> We have not defined @(c) as an operator, so we need to say, in a case >> like >> >> @(c) ( @(d) p until q ) >> >> whether @(c) or @(d) is the clock incoming to "until". --------------------------------------------------------------------- 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 Tue Jan 8 01:28:07 2008
This archive was generated by hypermail 2.1.8 : Tue Jan 08 2008 - 01:28:20 PST