Krause, C. (2011). Distributed Port Automata. Electronic Communications of the EASST, 41. https://doi.org/10.14279/tuj.eceasst.41.568