From Jersey to Wall Street – or the equivalent


A common configuration for FSMLabs TimeKeeper customers is to cross-couple time sources in New Jersey and New York City or London and Slough or Chicago and Aurora or Singapore and Sidney- any two trading locations that are connected with high quality network. Sometimes the network connection does not even have to…

Queues and algebra


Suppose we have a state machine Q, that implements a common first in first out queue. The input alphabet of Q consists of "Deq" and "Enq x" where "x" ranges over a set of values, say, V. Let's fix the max length of Q at some constant k. As usual,…