Handling a timer in Mercury

Jack Andrews jack.andrews at str.com.au
Thu Aug 6 10:14:42 AEST 1998

How does Mercury model the idea of a timer?  A timer has one state at a
given time, and a different state at another, with no apparent influence
from other parts of the system.

Jack Andrews
Space-Time Research Pty Ltd

1102 Toorak Road,  HARTWELL  Vic  Australia  3124
jack.andrews at str.com.au
Tel   +61 3 9805.3400
Direct  +61 3 9805.3409
Fax  +61 3 9889.9420

More information about the users mailing list