C. Krause, “Distributed Port Automata”, eceasst, vol. 41, May 2011.