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
http://www.str.com.au
More information about the users
mailing list