A synchronous implementation of a limit order based market