[erlang-questions] help with smoker's problem
Mon Aug 18 13:57:08 CEST 2008
2008/8/18 Matthias Lang <matthias@REDACTED>
> The second is to implement a lift controller. This problem is fairly
> well known in the formal methods & SE world, e.g.
> you can make it more complicated by having multiple lifts, inventing
> scheduling strategies and by adding realism, for instance modelling
> the subtleties of lifts that are in motion near stops---e.g. a lift
> needs, say, 2 metres of advance warning to stop somewhere. Like the
> POTS exercise, a graphical simulator makes it more fun. Even with
> multiple lifts, it's not as "concurrent" as it first seems.
In the old Erlang book there is a lift controller example, as well as the
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions