A hardware implementation of pure esterelCommunicating reactive processesThe Constructive Semantics of Pure Esterel