Coordinated flows in a formal multi-agent system based on a modal algebra | IEEE Conference Publication | IEEE Xplore