Krause, C. Distributed Port Automata. eceasst 2011, 41.