internal void schedule(Actor a, Duration d, Future f) { m_scheduler.schedule(d.ticks(), new ScheduledWork(a, f)); }